The fuzzer caught something!

[joehuchette]

[fuzzer] Check macros for expression construction
ERROR: LoadError: LoadError: The following expression did not pass the fuzzer:
    (0.4554772504632667 + -0.1518840750162247w + w * 0.09990364202748525 + identity(z) * 0.0736882329861066 + 0.04672032906291901 + -0.18960230448004234z + z * 0.04665096744167929 + v * 0.07584523909887286 + identity(y) * 0.32197163594687006 + -0.13158615137045016 + 0.06628030520768302 + -0.472467204273578x + x * -0.22389526085927103 + x * -0.07116107603681776 + 0.333608170847286 * identity(x) + identity(x) * -0.446731384525372 + identity(x) * -0.3787392859024685 + 0.2865253237576886) * (-0.1215709137792913 + -0.4472588741110446 + -0.035308150854278075 * identity(z) + -0.370812887163692 + -0.2912289118015763 + 0.14432818942795378 * identity(y) + 0.13921912058720642 + -0.40616017890593525y + 0.3794469333080561x + 0.09159689476824062 * identity(x) + -0.27607400561527684) + (-0.35259934352192257 + -0.4254467735578511v + 0.08215838161847389 * identity(z) + x * -0.09863793017180589 + -0.10456462363486829 * identity(x) + identity(x) * -0.05010692889327428 + identity(x) * 0.30185734357846017 + 0.4850436281650201 * identity(y) + identity(y) * -0.12204338945212001 + identity(y) * -0.17304733651324056 + -0.46803257424115463 + -0.41111496192228536y + y * 0.1495302261894862 + 0.4760054348476881z + z * -0.33763065743445364 + w * -0.47247275882330464 + w * 0.3611175108270699 + -0.4334568171249924) * (0.13249843989864996v + 0.011221241806204096 + 0.16088388452427416 * identity(z)) + (-0.1170161535058809 * identity(x) + identity(x) * 0.21061820993162406 + -0.023267778834233255 + 0.17811449826856673 + y * 0.4474823995310615 + 0.1930859537461065 + 0.386163855189253z + z * -0.206066310803666 + 0.0305857584736553x + x * 0.47489121350570374 + x * 0.2282909162593305 + -0.14060169879850237w + w * 0.3992301975991337 + w * -0.032746462181413305 + -0.40870588149667975 + identity(y) * 0.23534273044111176) * (0.44959461858287875 + -0.17788684455522064 * identity(x) + 0.07339411305238963 + 0.49599554571727067 * identity(z) + 0.041490823060219784y + 0.029219749100121595z + -0.22434700887194858x + -0.0634148537531456 + 0.15401223065034197 * identity(y)) + (-0.11983137982346248 + 0.1732140719005113y + -0.4881286213095757x + x * -0.24230022497697146 + -0.44853398652933096 + 0.47469740556592543 * identity(x) + 0.18217630198532442 + 0.15840015926508766 * identity(z) + -0.28446097400929293 + v * -0.45170942876151443 + -0.3451809675844306w + w * -0.12419801209905779 + z * 0.17590924442788358 + 0.061072742246472744) * (-0.31745814544626083x + 0.11489219745113699 * identity(z) + -0.299563781356158 + -0.48464814974414794v + -0.2805120295439867 + 0.4817110678013552w + 0.20875576849847732z) + (-0.396410045215535 + -0.3038066025809716v + v * 0.3495193571144226 + -0.2853942205828284 + -0.3750163336650636 * identity(z) + identity(z) * 0.32843466148371236 + -0.40457796874273577 + identity(y) * -0.2948392531357691 + identity(y) * 0.057284393160777825 + 0.1979214792257329y + y * 0.08540126130933245 + y * 0.49926551233681304 + 0.4305782087733465 + -0.4540619164234967z + z * 0.16275201590406874 + -0.2686105078623455 + 0.4135089588137264w + 0.21880016849043815 * identity(x) + -0.20740550361397103) * (-0.03984565797746242 + -0.41957117264949995 + -0.49943735676218903 * identity(y) + 0.09677260660934106y + -0.455075549347145z + -0.31377749860436155 * identity(x))

[mlubin]

From a local test?

[joehuchette]

Yeah, but maybe not anything interesting:

ex - ex2
-2.7755575615628914e-17 x² + 9.71445146547012e-17 x*y - 8.326672684688674e-17 y² - 5.551115123125783e-17 x*z + 9.367506770274758e-17 y*z + 8.326672684688674e-17 z² + 6.938893903907228e-17 x*v - 3.469446951953614e-17 y*v + 5.551115123125783e-17 z*v - 2.7755575615628914e-17 v² + 1.3877787807814457e-17 y*w + 2.7755575615628914e-17 z*w - 6.938893903907228e-18 v*w + 0

[IainNZ]

so thats FP error?

[IainNZ]

Still cool though

[joehuchette]

Yeah:

julia> for v in vals
           abs(v) < ε || return false
       end
false

julia> v
-1.304512053934559e-15

julia> ε
1.1102230246251565e-15

[joehuchette]

FALSE ALARM