Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendInside from plot-0.2.3.4

Time bar (total: 5.9s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 15 to 9 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.8s (31.2%)

Results
1.4s8246×0valid
322.0ms666×5exit
1.0ms9×0infinite
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 526.0ms
Operation ival-add, time spent: 450.0ms, 86.0% of total-time
Operation backward-pass, time spent: 65.0ms, 12.0% of total-time
Operation const, time spent: 10.0ms, 2.0% of total-time
Bogosity

preprocess579.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
12062×fma-define
2202×unsub-neg
1338×distribute-neg-in
1046×fma-neg
868×sub-neg
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z)
00-0-x
00-0-z
00-0-(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
00-0-(+.f64 (+.f64 x y) y)
00-0-(+.f64 x y)
00-0-(+.f64 (+.f64 (+.f64 x y) y) x)
00-0-y
Iterations

Useful iterations: 16 (0.0ms)

IterNodesCost
048559
1152415
2590367
32616361
45071361
56455361
66861361
76975361
86986361
96986361
107617361
117824358
127848358
137856358
147856358
157856358
167860318
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) z) y)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) x) z)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) y) x)
Outputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 x (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(fma.f64 2 (+.f64 x y) (+.f64 x z))
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 x (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(fma.f64 2 (+.f64 x y) (+.f64 x z))
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x))
(-.f64 (+.f64 z (-.f64 (+.f64 y (+.f64 y (neg.f64 x))) x)) x)
(+.f64 z (-.f64 (*.f64 2 (-.f64 y x)) x))
(-.f64 z (fma.f64 2 (-.f64 x y) x))
(-.f64 (fma.f64 2 y z) (*.f64 x 3))
(+.f64 (fma.f64 2 y z) (*.f64 x -3))
(fma.f64 x -3 (fma.f64 y 2 z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x)
(+.f64 x (+.f64 z (+.f64 x (-.f64 (-.f64 x y) y))))
(+.f64 (*.f64 2 (-.f64 x y)) (+.f64 x z))
(+.f64 z (fma.f64 2 (-.f64 x y) x))
(+.f64 z (fma.f64 (-.f64 x y) 2 x))
(+.f64 z (fma.f64 x 3 (*.f64 y -2)))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x)
(+.f64 x (-.f64 (+.f64 x (+.f64 x (+.f64 y y))) z))
(+.f64 x (-.f64 (*.f64 2 (+.f64 x y)) z))
(-.f64 (fma.f64 2 (+.f64 x y) x) z)
(-.f64 (fma.f64 (+.f64 x y) 2 x) z)
(fma.f64 x 3 (-.f64 (*.f64 y 2) z))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x)))
(neg.f64 (-.f64 (+.f64 z (-.f64 (+.f64 y (+.f64 y (neg.f64 x))) x)) x))
(-.f64 x (+.f64 z (*.f64 2 (-.f64 y x))))
(-.f64 x (fma.f64 2 (-.f64 y x) z))
(-.f64 x (fma.f64 -2 (-.f64 x y) z))
(-.f64 (*.f64 x 3) (fma.f64 2 y z))
(neg.f64 (fma.f64 x -3 (fma.f64 y 2 z)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x))
(neg.f64 (+.f64 x (+.f64 z (+.f64 x (-.f64 (-.f64 x y) y)))))
(-.f64 (neg.f64 x) (+.f64 z (*.f64 2 (-.f64 x y))))
(-.f64 (*.f64 (-.f64 y x) 2) (+.f64 x z))
(-.f64 (+.f64 (*.f64 y 2) (*.f64 x -3)) z)
(-.f64 (fma.f64 x -3 (*.f64 y 2)) z)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x))
(neg.f64 (+.f64 x (-.f64 (+.f64 x (+.f64 x (+.f64 y y))) z)))
(-.f64 (neg.f64 x) (-.f64 (*.f64 2 (+.f64 x y)) z))
(-.f64 z (fma.f64 2 (+.f64 x y) x))
(-.f64 z (fma.f64 (+.f64 x y) 2 x))
(fma.f64 x -3 (fma.f64 y -2 z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) z) y)
(+.f64 y (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 y z))
(fma.f64 2 (+.f64 x y) (+.f64 y z))
(-.f64 z (fma.f64 x -2 (*.f64 y -3)))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) x) z)
(+.f64 z (+.f64 x (+.f64 z (+.f64 y (+.f64 y z)))))
(+.f64 (*.f64 2 (+.f64 y z)) (+.f64 x z))
(+.f64 x (fma.f64 2 (+.f64 y z) z))
(+.f64 x (fma.f64 z 3 (*.f64 y 2)))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) y) x)
(+.f64 x (+.f64 y (+.f64 x (+.f64 z (+.f64 x z)))))
(+.f64 (+.f64 x y) (*.f64 2 (+.f64 x z)))
(+.f64 y (fma.f64 2 (+.f64 x z) x))
(+.f64 y (fma.f64 (+.f64 x z) 2 x))
(fma.f64 z 2 (fma.f64 x 3 y))
Compiler

Compiled 98 to 26 computations (73.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
Operation ival-add, time spent: 13.0ms, 96.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 39 to 19 computations (51.3% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
▶100.0%
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
Compiler

Compiled 23 to 16 computations (30.4% saved)

localize120.0ms (2%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
Compiler

Compiled 50 to 25 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.0ms
Operation ival-mult, time spent: 13.0ms, 38.0% of total-time
Operation ival-add, time spent: 11.0ms, 32.0% of total-time
Operation composed, time spent: 7.0ms, 20.0% of total-time
Operation const, time spent: 1.0ms, 3.0% of total-time
Operation ival-sub, time spent: 1.0ms, 3.0% of total-time

series9.0ms (0.1%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
z
@-inf
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
1.0ms
y
@-inf
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
1.0ms
x
@inf
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
1.0ms
x
@0
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
1.0ms
x
@-inf
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))

rewrite213.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
1324×fma-define
1111×log1p-expm1-u
1111×expm1-log1p-u
666×fma-neg
122×associate-*r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01433
118633
2296233
Stop Event
1×node limit
Counts
1 → 72
Calls
Call 1
Inputs
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
Outputs
(-.f64 (exp.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)) (/.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(*.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(*.f64 1 (+.f64 (fma.f64 2 (+.f64 x y) z) x))
(*.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2) (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(*.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (/.f64 1 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(*.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (/.f64 1 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 1 (/.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (+.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (*.f64 2 (*.f64 (+.f64 x y) (+.f64 x z))))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))) (neg.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))) (neg.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) (pow.f64 z 3)) (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (-.f64 (pow.f64 z 2) (*.f64 (fma.f64 2 (+.f64 x y) x) z))))
(/.f64 (-.f64 (pow.f64 (+.f64 x z) 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))))
(/.f64 (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (neg.f64 (pow.f64 z 2))) (-.f64 (fma.f64 2 (+.f64 x y) x) z))
(pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 3)
(pow.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2)
(sqrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 2))
(log.f64 (exp.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))))
(cbrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3))
(expm1.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(log1p.f64 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(exp.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(exp.f64 (*.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 1))
(fma.f64 2 x (fma.f64 2 y (+.f64 x z)))
(fma.f64 2 (+.f64 x y) (+.f64 x z))
(fma.f64 x 2 (fma.f64 2 y (+.f64 x z)))
(fma.f64 x 1 (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (+.f64 x y) 2 (+.f64 x z))
(fma.f64 (*.f64 2 (+.f64 x y)) 1 (+.f64 x z))
(fma.f64 z 1 (fma.f64 2 (+.f64 x y) x))
(fma.f64 (+.f64 x z) 1 (*.f64 2 (+.f64 x y)))
(fma.f64 1 x (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 1 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(fma.f64 1 z (fma.f64 2 (+.f64 x y) x))
(fma.f64 1 (+.f64 x z) (*.f64 2 (+.f64 x y)))
(fma.f64 1 (*.f64 2 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 1 (fma.f64 2 (+.f64 x y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(fma.f64 (cbrt.f64 (+.f64 x z)) (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (cbrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (+.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(fma.f64 (sqrt.f64 (+.f64 x z)) (sqrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 z (-.f64 z x) (pow.f64 x 2))) (*.f64 2 (+.f64 x y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 1 (-.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (fma.f64 2 (+.f64 x y) x) 1 z)
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (cbrt.f64 (fma.f64 2 (+.f64 x y) x))) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(fma.f64 (*.f64 (cbrt.f64 (*.f64 2 x)) (cbrt.f64 (*.f64 2 x))) (cbrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(fma.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) (+.f64 x z))
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) (+.f64 x z))

simplify108.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1698×fma-neg
1284×fma-define
924×distribute-rgt-in
920×distribute-lft-in
470×unswap-sqr
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01974308
14964264
213323705
366873705
Stop Event
1×node limit
Counts
108 → 106
Calls
Call 1
Inputs
(+.f64 z (*.f64 2 y))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(*.f64 3 x)
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(*.f64 3 x)
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 x (+.f64 z (*.f64 2 x)))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(*.f64 2 y)
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(*.f64 2 y)
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
z
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
z
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)) (/.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(*.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(*.f64 1 (+.f64 (fma.f64 2 (+.f64 x y) z) x))
(*.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2) (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(*.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (/.f64 1 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(*.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (/.f64 1 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 1 (/.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (+.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (*.f64 2 (*.f64 (+.f64 x y) (+.f64 x z))))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))) (neg.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))) (neg.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) (pow.f64 z 3)) (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (-.f64 (pow.f64 z 2) (*.f64 (fma.f64 2 (+.f64 x y) x) z))))
(/.f64 (-.f64 (pow.f64 (+.f64 x z) 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))))
(/.f64 (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (neg.f64 (pow.f64 z 2))) (-.f64 (fma.f64 2 (+.f64 x y) x) z))
(pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 3)
(pow.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2)
(sqrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 2))
(log.f64 (exp.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))))
(cbrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3))
(expm1.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(log1p.f64 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(exp.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(exp.f64 (*.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 1))
(fma.f64 2 x (fma.f64 2 y (+.f64 x z)))
(fma.f64 2 (+.f64 x y) (+.f64 x z))
(fma.f64 x 2 (fma.f64 2 y (+.f64 x z)))
(fma.f64 x 1 (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (+.f64 x y) 2 (+.f64 x z))
(fma.f64 (*.f64 2 (+.f64 x y)) 1 (+.f64 x z))
(fma.f64 z 1 (fma.f64 2 (+.f64 x y) x))
(fma.f64 (+.f64 x z) 1 (*.f64 2 (+.f64 x y)))
(fma.f64 1 x (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 1 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(fma.f64 1 z (fma.f64 2 (+.f64 x y) x))
(fma.f64 1 (+.f64 x z) (*.f64 2 (+.f64 x y)))
(fma.f64 1 (*.f64 2 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 1 (fma.f64 2 (+.f64 x y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(fma.f64 (cbrt.f64 (+.f64 x z)) (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (cbrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (+.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(fma.f64 (sqrt.f64 (+.f64 x z)) (sqrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(fma.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 z (-.f64 z x) (pow.f64 x 2))) (*.f64 2 (+.f64 x y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 1 (-.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (fma.f64 2 (+.f64 x y) x) 1 z)
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (cbrt.f64 (fma.f64 2 (+.f64 x y) x))) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(fma.f64 (*.f64 (cbrt.f64 (*.f64 2 x)) (cbrt.f64 (*.f64 2 x))) (cbrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(fma.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) (+.f64 x z))
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) (+.f64 x z))
Outputs
(+.f64 z (*.f64 2 y))
(fma.f64 2 y z)
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 3 x)
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 3 x)
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 x)))
(+.f64 x (fma.f64 2 x z))
(fma.f64 3 x z)
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 2 y)
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 2 y)
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (+.f64 (*.f64 2 x) (*.f64 2 y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (*.f64 2 (+.f64 x y)))
(fma.f64 2 (+.f64 y x) x)
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
z
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
z
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(+.f64 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))) 1)
(expm1.f64 (log1p.f64 (+.f64 x (fma.f64 2 (+.f64 y x) z))))
(expm1.f64 (log1p.f64 (fma.f64 2 (+.f64 y x) (+.f64 z x))))
(+.f64 (fma.f64 2 y (fma.f64 3 x z)) 0)
(-.f64 (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)) (/.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(*.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 1 (+.f64 (fma.f64 2 (+.f64 x y) z) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2) (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (/.f64 1 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (/.f64 1 (fma.f64 (+.f64 z x) (-.f64 (+.f64 z x) (*.f64 2 (+.f64 y x))) (*.f64 (pow.f64 (+.f64 y x) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (+.f64 z x) (+.f64 (+.f64 z x) (*.f64 (+.f64 y x) -2)) (*.f64 (pow.f64 (+.f64 y x) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (pow.f64 (+.f64 y x) 2) 4 (*.f64 (+.f64 z x) (-.f64 z (fma.f64 2 y x)))))
(*.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (/.f64 1 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(/.f64 1 (/.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (/.f64 1 (fma.f64 (+.f64 z x) (-.f64 (+.f64 z x) (*.f64 2 (+.f64 y x))) (*.f64 (pow.f64 (+.f64 y x) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (+.f64 z x) (+.f64 (+.f64 z x) (*.f64 (+.f64 y x) -2)) (*.f64 (pow.f64 (+.f64 y x) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (pow.f64 (+.f64 y x) 2) 4 (*.f64 (+.f64 z x) (-.f64 z (fma.f64 2 y x)))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4)))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (/.f64 1 (fma.f64 (+.f64 z x) (-.f64 (+.f64 z x) (*.f64 2 (+.f64 y x))) (*.f64 (pow.f64 (+.f64 y x) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (+.f64 z x) (+.f64 (+.f64 z x) (*.f64 (+.f64 y x) -2)) (*.f64 (pow.f64 (+.f64 y x) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (pow.f64 (+.f64 y x) 2) 4 (*.f64 (+.f64 z x) (-.f64 z (fma.f64 2 y x)))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3)) (+.f64 (pow.f64 (+.f64 x z) 2) (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (*.f64 2 (*.f64 (+.f64 x y) (+.f64 x z))))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (/.f64 1 (fma.f64 (+.f64 z x) (-.f64 (+.f64 z x) (*.f64 2 (+.f64 y x))) (*.f64 (pow.f64 (+.f64 y x) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (+.f64 z x) (+.f64 (+.f64 z x) (*.f64 (+.f64 y x) -2)) (*.f64 (pow.f64 (+.f64 y x) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (pow.f64 (+.f64 y x) 2) 4 (*.f64 (+.f64 z x) (-.f64 z (fma.f64 2 y x)))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2)) (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 (+.f64 x z) 3))) (neg.f64 (fma.f64 (+.f64 x z) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (/.f64 1 (fma.f64 (+.f64 z x) (-.f64 (+.f64 z x) (*.f64 2 (+.f64 y x))) (*.f64 (pow.f64 (+.f64 y x) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (+.f64 z x) (+.f64 (+.f64 z x) (*.f64 (+.f64 y x) -2)) (*.f64 (pow.f64 (+.f64 y x) 2) 4)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 (+.f64 z x) 3)) (fma.f64 (pow.f64 (+.f64 y x) 2) 4 (*.f64 (+.f64 z x) (-.f64 z (fma.f64 2 y x)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (pow.f64 (+.f64 x z) 2))) (neg.f64 (-.f64 (fma.f64 2 (+.f64 x y) (neg.f64 x)) z)))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) (pow.f64 z 3)) (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (-.f64 (pow.f64 z 2) (*.f64 (fma.f64 2 (+.f64 x y) x) z))))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 (+.f64 y x) x) 3) (pow.f64 z 3)) (fma.f64 (fma.f64 2 (+.f64 y x) x) (fma.f64 2 (+.f64 y x) x) (-.f64 (pow.f64 z 2) (*.f64 z (fma.f64 2 (+.f64 y x) x)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 (+.f64 y x) x) 3) (pow.f64 z 3)) (fma.f64 (fma.f64 2 (+.f64 y x) x) (fma.f64 2 (+.f64 y x) x) (*.f64 z (-.f64 z (fma.f64 2 (+.f64 y x) x)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 2 y (*.f64 3 x)) 3) (pow.f64 z 3)) (fma.f64 z (-.f64 z (fma.f64 2 y (*.f64 3 x))) (*.f64 (fma.f64 2 y (*.f64 3 x)) (fma.f64 2 y (*.f64 3 x)))))
(/.f64 (-.f64 (pow.f64 (+.f64 x z) 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 (+.f64 x z) (*.f64 2 (+.f64 x y))))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (fma.f64 2 (+.f64 y x) (neg.f64 x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (+.f64 y x) 2) 4) (pow.f64 (+.f64 z x) 2)) (-.f64 (-.f64 (*.f64 2 (+.f64 y x)) x) z))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 (+.f64 z x) 2)) (-.f64 z (fma.f64 2 y x)))
(/.f64 (fma.f64 (fma.f64 2 (+.f64 x y) x) (fma.f64 2 (+.f64 x y) x) (neg.f64 (pow.f64 z 2))) (-.f64 (fma.f64 2 (+.f64 x y) x) z))
(/.f64 (fma.f64 (fma.f64 2 (+.f64 y x) x) (fma.f64 2 (+.f64 y x) x) (neg.f64 (pow.f64 z 2))) (-.f64 (fma.f64 2 (+.f64 y x) x) z))
(/.f64 (*.f64 (fma.f64 2 y (fma.f64 3 x z)) (-.f64 (fma.f64 2 y (*.f64 3 x)) z)) (-.f64 (fma.f64 2 y (*.f64 3 x)) z))
(pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 1)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(pow.f64 (cbrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 3)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(pow.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3) 1/3)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(pow.f64 (sqrt.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 2)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(sqrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 2))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(log.f64 (exp.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(cbrt.f64 (pow.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x) 3))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(expm1.f64 (log1p.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(expm1.f64 (log1p.f64 (+.f64 x (fma.f64 2 (+.f64 y x) z))))
(expm1.f64 (log1p.f64 (fma.f64 2 (+.f64 y x) (+.f64 z x))))
(+.f64 (fma.f64 2 y (fma.f64 3 x z)) 0)
(log1p.f64 (expm1.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(exp.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(exp.f64 (*.f64 (log.f64 (+.f64 (fma.f64 2 (+.f64 x y) z) x)) 1))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 2 x (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 2 (+.f64 x y) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 x 2 (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 x 1 (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (+.f64 x y) 2 (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 2 (+.f64 x y)) 1 (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 z 1 (fma.f64 2 (+.f64 x y) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (+.f64 x z) 1 (*.f64 2 (+.f64 x y)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 x (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 z (fma.f64 2 (+.f64 x y) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 (+.f64 x z) (*.f64 2 (+.f64 x y)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 (*.f64 2 x) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 1 (fma.f64 2 (+.f64 x y) x) z)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (cbrt.f64 (+.f64 x z)) (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (*.f64 2 (+.f64 x y)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x z)) 2) (cbrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (fma.f64 2 (+.f64 x y) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 (+.f64 x z)) (sqrt.f64 (+.f64 x z)) (*.f64 2 (+.f64 x y)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (+.f64 z (*.f64 2 (+.f64 x y))))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (fma.f64 2 (+.f64 x y) x))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 z (-.f64 z x) (pow.f64 x 2))) (*.f64 2 (+.f64 x y)))
(fma.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 z (-.f64 z x) (pow.f64 x 2))) (*.f64 2 (+.f64 y x)))
(fma.f64 2 (+.f64 y x) (/.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (fma.f64 z (-.f64 z x) (pow.f64 x 2))))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 1 (-.f64 x z)) (*.f64 2 (+.f64 x y)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 1 (-.f64 x z)) (*.f64 2 (+.f64 y x)))
(fma.f64 2 (+.f64 y x) (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (-.f64 x z)))
(fma.f64 (fma.f64 2 (+.f64 x y) x) 1 z)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (cbrt.f64 (fma.f64 2 (+.f64 x y) x))) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 2 x)) (cbrt.f64 (*.f64 2 x))) (cbrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) z)
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 (*.f64 2 x)) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y (+.f64 x z)))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) (+.f64 x z))
(+.f64 z (fma.f64 2 y (*.f64 3 x)))
(fma.f64 2 y (fma.f64 3 x z))

eval38.0ms (0.6%)

Compiler

Compiled 1693 to 836 computations (50.6% saved)

prune21.0ms (0.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New997106
Fresh000
Picked112
Done000
Total1008108
Accuracy
100.0%
Counts
108 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
▶100.0%
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
▶71.4%
(+.f64 z (*.f64 2 y))
63.0%
(+.f64 x (+.f64 z (*.f64 2 x)))
65.9%
(+.f64 x (*.f64 2 (+.f64 x y)))
▶29.8%
(*.f64 3 x)
▶37.9%
(*.f64 2 y)
▶35.2%
z
Compiler

Compiled 123 to 92 computations (25.2% saved)

localize86.0ms (1.5%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓99.9%
(+.f64 (*.f64 2 y) (*.f64 3 x))
Compiler

Compiled 53 to 33 computations (37.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0ms
Operation ival-mult, time spent: 17.0ms, 60.0% of total-time
Operation ival-add, time spent: 9.0ms, 32.0% of total-time
Operation const, time spent: 2.0ms, 7.0% of total-time

series8.0ms (0.1%)

Counts
1 → 6
Calls

6 calls:

TimeVariablePointExpression
4.0ms
x
@0
(+.f64 (*.f64 2 y) (*.f64 3 x))
1.0ms
y
@0
(+.f64 (*.f64 2 y) (*.f64 3 x))
1.0ms
x
@inf
(+.f64 (*.f64 2 y) (*.f64 3 x))
1.0ms
y
@inf
(+.f64 (*.f64 2 y) (*.f64 3 x))
1.0ms
x
@-inf
(+.f64 (*.f64 2 y) (*.f64 3 x))

rewrite81.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
1148×unpow-prod-down
602×log-prod
580×log1p-expm1-u
580×expm1-log1p-u
548×fma-define
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01221
111921
2159521
Stop Event
1×node limit
Counts
1 → 64
Calls
Call 1
Inputs
(+.f64 (*.f64 2 y) (*.f64 3 x))
Outputs
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y)))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 y 2) 4) (fma.f64 2 y (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (fma.f64 2 y (*.f64 -3 x))))
(*.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(*.f64 (fma.f64 3 x (*.f64 2 y)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 3 x (*.f64 2 y)))
(*.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) (sqrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(*.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (fma.f64 2 y (*.f64 -3 x))))
(*.f64 (pow.f64 1 1/3) (fma.f64 3 x (*.f64 2 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 3) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 3 x (*.f64 2 y)) (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))))
(/.f64 1 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (*.f64 2 y) (*.f64 3 x)))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 -3 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) (neg.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (fma.f64 2 y (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (*.f64 (pow.f64 y 2) 4)) (-.f64 (*.f64 3 x) (*.f64 2 y)))
(pow.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 3)
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) -1)
(pow.f64 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) -1)
(sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2))
(log.f64 (exp.f64 (fma.f64 3 x (*.f64 2 y))))
(cbrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(log1p.f64 (expm1.f64 (fma.f64 3 x (*.f64 2 y))))
(exp.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))))
(exp.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 3 x (*.f64 2 y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1) 1))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 y 2 (*.f64 3 x))
(fma.f64 (*.f64 2 y) 1 (*.f64 3 x))
(fma.f64 3 x (*.f64 2 y))
(fma.f64 x 3 (*.f64 2 y))
(fma.f64 (*.f64 3 x) 1 (*.f64 2 y))
(fma.f64 1 (*.f64 2 y) (*.f64 3 x))
(fma.f64 1 (*.f64 3 x) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (cbrt.f64 (*.f64 3 x)) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 2 y)) (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (cbrt.f64 (*.f64 2 y)) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 2) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) (*.f64 2 y))
(fma.f64 (sqrt.f64 (*.f64 3 x)) (sqrt.f64 (*.f64 3 x)) (*.f64 2 y))
(fma.f64 (sqrt.f64 (*.f64 2 y)) (sqrt.f64 (*.f64 2 y)) (*.f64 3 x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 2) (*.f64 3 x))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) (*.f64 2 y))
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 2 y))
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 2 y))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 3 x))
(fma.f64 (*.f64 2 (sqrt.f64 y)) (sqrt.f64 y) (*.f64 3 x))

simplify82.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
1286×times-frac
882×distribute-lft-in
680×fma-neg
608×distribute-lft-neg-in
536×cancel-sign-sub-inv
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01682730
14172622
210662522
336472240
Stop Event
1×node limit
Counts
70 → 81
Calls
Call 1
Inputs
(*.f64 3 x)
(*.f64 2 y)
(*.f64 2 y)
(*.f64 2 y)
(*.f64 3 x)
(*.f64 3 x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y)))) 1)
(-.f64 (/.f64 (*.f64 (pow.f64 y 2) 4) (fma.f64 2 y (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (fma.f64 2 y (*.f64 -3 x))))
(*.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(*.f64 (fma.f64 3 x (*.f64 2 y)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 3 x (*.f64 2 y)))
(*.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) (sqrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(*.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (fma.f64 2 y (*.f64 -3 x))))
(*.f64 (pow.f64 1 1/3) (fma.f64 3 x (*.f64 2 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 3) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 3 x (*.f64 2 y)) (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))))
(/.f64 1 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (*.f64 2 y) (*.f64 3 x)))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 -3 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) (neg.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (fma.f64 2 y (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (*.f64 (pow.f64 y 2) 4)) (-.f64 (*.f64 3 x) (*.f64 2 y)))
(pow.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 3)
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) -1)
(pow.f64 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) -1)
(sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2))
(log.f64 (exp.f64 (fma.f64 3 x (*.f64 2 y))))
(cbrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(log1p.f64 (expm1.f64 (fma.f64 3 x (*.f64 2 y))))
(exp.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))))
(exp.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 3 x (*.f64 2 y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1) 1))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 y 2 (*.f64 3 x))
(fma.f64 (*.f64 2 y) 1 (*.f64 3 x))
(fma.f64 3 x (*.f64 2 y))
(fma.f64 x 3 (*.f64 2 y))
(fma.f64 (*.f64 3 x) 1 (*.f64 2 y))
(fma.f64 1 (*.f64 2 y) (*.f64 3 x))
(fma.f64 1 (*.f64 3 x) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (cbrt.f64 (*.f64 3 x)) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 2 y)) (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (cbrt.f64 (*.f64 2 y)) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 2) (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) (*.f64 2 y))
(fma.f64 (sqrt.f64 (*.f64 3 x)) (sqrt.f64 (*.f64 3 x)) (*.f64 2 y))
(fma.f64 (sqrt.f64 (*.f64 2 y)) (sqrt.f64 (*.f64 2 y)) (*.f64 3 x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 2) (*.f64 3 x))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) (*.f64 2 y))
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 2 y))
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 2 y))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 3 x))
(fma.f64 (*.f64 2 (sqrt.f64 y)) (sqrt.f64 y) (*.f64 3 x))
Outputs
(*.f64 3 x)
(*.f64 2 y)
(*.f64 2 y)
(*.f64 2 y)
(*.f64 3 x)
(*.f64 3 x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y)))) 1)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(-.f64 (/.f64 (*.f64 (pow.f64 y 2) 4) (fma.f64 2 y (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (fma.f64 2 y (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(*.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (fma.f64 3 x (*.f64 2 y)) (log.f64 (exp.f64 1)))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 1 (fma.f64 3 x (*.f64 2 y)))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 2) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) (sqrt.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(*.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (fma.f64 2 y (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(*.f64 (pow.f64 1 1/3) (fma.f64 3 x (*.f64 2 y)))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 3) (cbrt.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3)) 1/3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 3 x (*.f64 2 y)) (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) (cbrt.f64 (pow.f64 (*.f64 (fma.f64 3 x (*.f64 2 y)) (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 2 y (*.f64 3 x)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 2 y (*.f64 3 x))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 2 y (*.f64 3 x)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 2 y (*.f64 3 x))) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 5/2)) (cbrt.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 2 y (*.f64 3 x)) 5/2)) (cbrt.f64 (sqrt.f64 (fma.f64 2 y (*.f64 3 x)))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(/.f64 1 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (*.f64 2 y) (*.f64 3 x)))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 -3 x)))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) (neg.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4))))
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(/.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (fma.f64 2 y (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (*.f64 (pow.f64 y 2) 4)) (-.f64 (*.f64 3 x) (*.f64 2 y)))
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(pow.f64 (fma.f64 3 x (*.f64 2 y)) 1)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y))) 3)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2) 1/2)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3) 1/3)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y))) 2)
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (/.f64 (fma.f64 (*.f64 3 x) (-.f64 (*.f64 3 x) (*.f64 2 y)) (*.f64 (pow.f64 y 2) 4)) (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27))) -1)
(*.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (/.f64 1 (fma.f64 (*.f64 3 x) (+.f64 (*.f64 3 x) (*.f64 -2 y)) (*.f64 (pow.f64 y 2) 4))))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (*.f64 y -2)) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) 8 (*.f64 (pow.f64 x 3) 27)) (fma.f64 3 (*.f64 x (fma.f64 y -2 (*.f64 3 x))) (*.f64 (pow.f64 y 2) 4)))
(/.f64 (fma.f64 (pow.f64 y 3) -8 (*.f64 (pow.f64 x 3) -27)) (fma.f64 (pow.f64 y 2) -4 (*.f64 3 (*.f64 x (fma.f64 2 y (*.f64 x -3))))))
(pow.f64 (/.f64 (fma.f64 2 y (*.f64 -3 x)) (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9))) -1)
(/.f64 (-.f64 (*.f64 (pow.f64 y 2) 4) (*.f64 (pow.f64 x 2) 9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 2 y (*.f64 x -3)))
(/.f64 (fma.f64 (pow.f64 y 2) 4 (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 (*.f64 2 y)))
(sqrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 2))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(log.f64 (exp.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(cbrt.f64 (pow.f64 (fma.f64 3 x (*.f64 2 y)) 3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(log1p.f64 (expm1.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 3 x (*.f64 2 y)))) 3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 3 x (*.f64 2 y)))) 1/3))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 3 x (*.f64 2 y)))) 2))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 3 x (*.f64 2 y))) 1) 1))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 y 2 (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 y) 1 (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 3 x (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 x 3 (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 3 x) 1 (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 1 (*.f64 2 y) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 1 (*.f64 3 x) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (*.f64 2 y))
(fma.f64 2 y (*.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9))))
(fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (cbrt.f64 (*.f64 3 x)) (*.f64 2 y))
(fma.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9)) (*.f64 2 y))
(fma.f64 2 y (*.f64 (cbrt.f64 (*.f64 3 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 9))))
(fma.f64 (cbrt.f64 (*.f64 2 y)) (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 y)) 2) (cbrt.f64 (*.f64 2 y)) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) 2) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 (*.f64 3 x)) (sqrt.f64 (*.f64 3 x)) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 (*.f64 2 y)) (sqrt.f64 (*.f64 2 y)) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) 2) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) (*.f64 2 y))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (sqrt.f64 y)) (sqrt.f64 y) (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 3 x (*.f64 2 y))))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(fma.f64 2 y (*.f64 3 x))

eval29.0ms (0.5%)

Compiler

Compiled 1357 to 997 computations (26.5% saved)

prune17.0ms (0.3%)

Pruning

8 alts after pruning (2 fresh and 6 done)

PrunedKeptTotal
New80181
Fresh112
Picked055
Done011
Total81889
Accuracy
100.0%
Counts
89 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
✓100.0%
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
▶63.0%
(+.f64 z (*.f64 3 x))
✓71.4%
(+.f64 z (*.f64 2 y))
▶65.9%
(+.f64 x (*.f64 2 (+.f64 x y)))
✓29.8%
(*.f64 3 x)
✓37.9%
(*.f64 2 y)
✓35.2%
z
Compiler

Compiled 65 to 49 computations (24.6% saved)

localize63.0ms (1.1%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓99.9%
(+.f64 z (*.f64 3 x))
✓100.0%
(+.f64 x (*.f64 2 (+.f64 x y)))
Compiler

Compiled 33 to 17 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.0ms
Operation ival-mult, time spent: 10.0ms, 54.0% of total-time
Operation ival-add, time spent: 7.0ms, 38.0% of total-time
Operation const, time spent: 1.0ms, 5.0% of total-time

series7.0ms (0.1%)

Counts
2 → 30
Calls

12 calls:

TimeVariablePointExpression
1.0ms
x
@0
(+.f64 x (*.f64 2 (+.f64 x y)))
1.0ms
x
@-inf
(+.f64 x (*.f64 2 (+.f64 x y)))
1.0ms
x
@0
(+.f64 z (*.f64 3 x))
1.0ms
y
@inf
(+.f64 x (*.f64 2 (+.f64 x y)))
1.0ms
y
@0
(+.f64 x (*.f64 2 (+.f64 x y)))

rewrite232.0ms (3.9%)

Algorithm
1×batch-egg-rewrite
Rules
1188×fma-define
1171×log1p-expm1-u
1171×expm1-log1p-u
564×fma-neg
154×associate-*r*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01647
120239
2317139
Stop Event
1×node limit
Counts
2 → 99
Calls
Call 1
Inputs
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 z (*.f64 3 x))
Outputs
(-.f64 (exp.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x))) 1)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (*.f64 2 (+.f64 x y)))) (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 x (*.f64 2 (+.f64 x y)))))
(*.f64 (fma.f64 2 (+.f64 x y) x) 1)
(*.f64 1 (fma.f64 2 (+.f64 x y) x))
(*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)))
(*.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(*.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (/.f64 1 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (*.f64 2 (+.f64 x y))) (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 x (+.f64 x y)) 2))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 x (*.f64 2 (+.f64 x y))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))) (neg.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))) (neg.f64 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (neg.f64 (pow.f64 x 2))) (fma.f64 2 (+.f64 x y) (neg.f64 x)))
(pow.f64 (fma.f64 2 (+.f64 x y) x) 1)
(pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 3)
(pow.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 2))
(log.f64 (exp.f64 (fma.f64 2 (+.f64 x y) x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 2 (+.f64 x y) x))))
(cbrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3))
(expm1.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x)))
(log1p.f64 (expm1.f64 (fma.f64 2 (+.f64 x y) x)))
(exp.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)) 1))
(fma.f64 x 2 (fma.f64 2 y x))
(fma.f64 x 1 (*.f64 2 (+.f64 x y)))
(fma.f64 2 x (fma.f64 2 y x))
(fma.f64 2 (+.f64 x y) x)
(fma.f64 (+.f64 x y) 2 x)
(fma.f64 (*.f64 2 (+.f64 x y)) 1 x)
(fma.f64 1 x (*.f64 2 (+.f64 x y)))
(fma.f64 1 (*.f64 2 (+.f64 x y)) x)
(fma.f64 1 (*.f64 x 2) (fma.f64 2 y x))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) x)
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) x)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) x)
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x 2)) (cbrt.f64 (*.f64 x 2))) (cbrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 (sqrt.f64 (*.f64 x 2)) (sqrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) x)
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x 3 z))) 1)
(-.f64 (/.f64 (pow.f64 z 2) (+.f64 z (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (+.f64 z (*.f64 -3 x))))
(*.f64 (fma.f64 x 3 z) 1)
(*.f64 1 (fma.f64 x 3 z))
(*.f64 (cbrt.f64 (fma.f64 x 3 z)) (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2) (cbrt.f64 (fma.f64 x 3 z)))
(*.f64 (sqrt.f64 (fma.f64 x 3 z)) (sqrt.f64 (fma.f64 x 3 z)))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(*.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (+.f64 z (*.f64 -3 x))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)) (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))))
(/.f64 1 (/.f64 (+.f64 z (*.f64 -3 x)) (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (pow.f64 z 2) (*.f64 z (*.f64 x 3)))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 -3 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))) (neg.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (+.f64 z (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (pow.f64 z 2)) (fma.f64 x 3 (neg.f64 z)))
(pow.f64 (fma.f64 x 3 z) 1)
(pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 3)
(pow.f64 (pow.f64 (fma.f64 x 3 z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x 3 z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x 3 z) 2))
(log.f64 (exp.f64 (fma.f64 x 3 z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 3 z))))
(cbrt.f64 (pow.f64 (fma.f64 x 3 z) 3))
(expm1.f64 (log1p.f64 (fma.f64 x 3 z)))
(log1p.f64 (expm1.f64 (fma.f64 x 3 z)))
(exp.f64 (log.f64 (fma.f64 x 3 z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x 3 z)) 1))
(fma.f64 x 3 z)
(fma.f64 z 1 (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 (*.f64 x 3) 1 z)
(fma.f64 1 z (*.f64 x 3))
(fma.f64 1 (*.f64 x 3) z)
(fma.f64 (cbrt.f64 (*.f64 x 3)) (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) z)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) (cbrt.f64 (*.f64 x 3)) z)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) z)
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 x 3))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (*.f64 x 3))
(fma.f64 (sqrt.f64 (*.f64 x 3)) (sqrt.f64 (*.f64 x 3)) z)
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) z)
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (*.f64 x 3))
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) z)
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) z)

simplify118.0ms (2%)

Algorithm
1×egg-herbie
Rules
1828×fma-neg
1126×fma-define
812×distribute-rgt-in
806×distribute-lft-in
758×unswap-sqr
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02363658
15603562
215813379
373543379
Stop Event
1×node limit
Counts
129 → 122
Calls
Call 1
Inputs
(*.f64 2 y)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(*.f64 3 x)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(*.f64 3 x)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 x (*.f64 2 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(*.f64 2 y)
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(*.f64 2 y)
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(*.f64 3 x)
z
z
z
(*.f64 3 x)
(*.f64 3 x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x))) 1)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (*.f64 2 (+.f64 x y)))) (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 x (*.f64 2 (+.f64 x y)))))
(*.f64 (fma.f64 2 (+.f64 x y) x) 1)
(*.f64 1 (fma.f64 2 (+.f64 x y) x))
(*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)))
(*.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(*.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (/.f64 1 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (*.f64 2 (+.f64 x y))) (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 x (+.f64 x y)) 2))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 x (*.f64 2 (+.f64 x y))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))) (neg.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))) (neg.f64 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (neg.f64 (pow.f64 x 2))) (fma.f64 2 (+.f64 x y) (neg.f64 x)))
(pow.f64 (fma.f64 2 (+.f64 x y) x) 1)
(pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 3)
(pow.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) 2)
(sqrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 2))
(log.f64 (exp.f64 (fma.f64 2 (+.f64 x y) x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 2 (+.f64 x y) x))))
(cbrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3))
(expm1.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x)))
(log1p.f64 (expm1.f64 (fma.f64 2 (+.f64 x y) x)))
(exp.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)) 1))
(fma.f64 x 2 (fma.f64 2 y x))
(fma.f64 x 1 (*.f64 2 (+.f64 x y)))
(fma.f64 2 x (fma.f64 2 y x))
(fma.f64 2 (+.f64 x y) x)
(fma.f64 (+.f64 x y) 2 x)
(fma.f64 (*.f64 2 (+.f64 x y)) 1 x)
(fma.f64 1 x (*.f64 2 (+.f64 x y)))
(fma.f64 1 (*.f64 2 (+.f64 x y)) x)
(fma.f64 1 (*.f64 x 2) (fma.f64 2 y x))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) x)
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) x)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) x)
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x 2)) (cbrt.f64 (*.f64 x 2))) (cbrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 (sqrt.f64 (*.f64 x 2)) (sqrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) x)
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x 3 z))) 1)
(-.f64 (/.f64 (pow.f64 z 2) (+.f64 z (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (+.f64 z (*.f64 -3 x))))
(*.f64 (fma.f64 x 3 z) 1)
(*.f64 1 (fma.f64 x 3 z))
(*.f64 (cbrt.f64 (fma.f64 x 3 z)) (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2) (cbrt.f64 (fma.f64 x 3 z)))
(*.f64 (sqrt.f64 (fma.f64 x 3 z)) (sqrt.f64 (fma.f64 x 3 z)))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(*.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (+.f64 z (*.f64 -3 x))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)) (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))))
(/.f64 1 (/.f64 (+.f64 z (*.f64 -3 x)) (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (pow.f64 z 2) (*.f64 z (*.f64 x 3)))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 -3 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))) (neg.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (+.f64 z (*.f64 -3 x))))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (pow.f64 z 2)) (fma.f64 x 3 (neg.f64 z)))
(pow.f64 (fma.f64 x 3 z) 1)
(pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 3)
(pow.f64 (pow.f64 (fma.f64 x 3 z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x 3 z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x 3 z) 2))
(log.f64 (exp.f64 (fma.f64 x 3 z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 3 z))))
(cbrt.f64 (pow.f64 (fma.f64 x 3 z) 3))
(expm1.f64 (log1p.f64 (fma.f64 x 3 z)))
(log1p.f64 (expm1.f64 (fma.f64 x 3 z)))
(exp.f64 (log.f64 (fma.f64 x 3 z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x 3 z)) 1))
(fma.f64 x 3 z)
(fma.f64 z 1 (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 (*.f64 x 3) 1 z)
(fma.f64 1 z (*.f64 x 3))
(fma.f64 1 (*.f64 x 3) z)
(fma.f64 (cbrt.f64 (*.f64 x 3)) (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) z)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) (cbrt.f64 (*.f64 x 3)) z)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) z)
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 x 3))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (*.f64 x 3))
(fma.f64 (sqrt.f64 (*.f64 x 3)) (sqrt.f64 (*.f64 x 3)) z)
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) z)
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (*.f64 x 3))
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) z)
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) z)
Outputs
(*.f64 2 y)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(*.f64 3 x)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(*.f64 3 x)
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (*.f64 2 x))
(*.f64 3 x)
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(*.f64 2 y)
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(*.f64 2 y)
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(+.f64 x (+.f64 (*.f64 2 x) (*.f64 2 y)))
(fma.f64 2 y (*.f64 3 x))
(*.f64 3 x)
z
z
z
(*.f64 3 x)
(*.f64 3 x)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x))) 1)
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (*.f64 2 (+.f64 x y)))) (/.f64 (*.f64 (pow.f64 (+.f64 x y) 2) 4) (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(*.f64 (fma.f64 2 (+.f64 x y) x) 1)
(fma.f64 2 y (*.f64 3 x))
(*.f64 1 (fma.f64 2 (+.f64 x y) x))
(fma.f64 2 y (*.f64 3 x))
(*.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2))
(fma.f64 2 y (*.f64 3 x))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 2) (cbrt.f64 (fma.f64 2 (+.f64 x y) x)))
(fma.f64 2 y (*.f64 3 x))
(*.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) (sqrt.f64 (fma.f64 2 (+.f64 x y) x)))
(fma.f64 2 y (*.f64 3 x))
(*.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 (+.f64 y x) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (-.f64 (*.f64 2 (+.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 y x) (pow.f64 x 2)))
(*.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (/.f64 1 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(/.f64 1 (/.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)) (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 (+.f64 y x) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (-.f64 (*.f64 2 (+.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 y x) (pow.f64 x 2)))
(/.f64 1 (/.f64 (-.f64 x (*.f64 2 (+.f64 x y))) (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2)))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 (+.f64 y x) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (-.f64 (*.f64 2 (+.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 y x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3)) (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (-.f64 (pow.f64 x 2) (*.f64 (*.f64 x (+.f64 x y)) 2))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 (+.f64 y x) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (-.f64 (*.f64 2 (+.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 y x) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4)) (-.f64 x (*.f64 2 (+.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (+.f64 x y) 3) 8 (pow.f64 x 3))) (neg.f64 (fma.f64 (*.f64 2 (+.f64 x y)) (fma.f64 2 (+.f64 x y) (neg.f64 x)) (pow.f64 x 2))))
(*.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 (+.f64 y x) (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (-.f64 (*.f64 2 (+.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 3) 8 (pow.f64 x 3)) (fma.f64 (*.f64 2 (+.f64 y x)) (fma.f64 2 y x) (pow.f64 x 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 x y) 2) 4))) (neg.f64 (-.f64 x (*.f64 2 (+.f64 x y)))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(/.f64 (fma.f64 (pow.f64 (+.f64 x y) 2) 4 (neg.f64 (pow.f64 x 2))) (fma.f64 2 (+.f64 x y) (neg.f64 x)))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (pow.f64 (+.f64 y x) 2) 4)) (-.f64 x (*.f64 2 (+.f64 y x))))
(/.f64 (fma.f64 x x (*.f64 (pow.f64 (+.f64 y x) 2) -4)) (+.f64 x (*.f64 (+.f64 y x) -2)))
(/.f64 (fma.f64 (pow.f64 (+.f64 y x) 2) -4 (pow.f64 x 2)) (neg.f64 (fma.f64 2 y x)))
(pow.f64 (fma.f64 2 (+.f64 x y) x) 1)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (cbrt.f64 (fma.f64 2 (+.f64 x y) x)) 3)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3) 1/3)
(fma.f64 2 y (*.f64 3 x))
(pow.f64 (sqrt.f64 (fma.f64 2 (+.f64 x y) x)) 2)
(fma.f64 2 y (*.f64 3 x))
(sqrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 2))
(fma.f64 2 y (*.f64 3 x))
(log.f64 (exp.f64 (fma.f64 2 (+.f64 x y) x)))
(fma.f64 2 y (*.f64 3 x))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 2 (+.f64 x y) x))))
(fma.f64 2 y (*.f64 3 x))
(cbrt.f64 (pow.f64 (fma.f64 2 (+.f64 x y) x) 3))
(fma.f64 2 y (*.f64 3 x))
(expm1.f64 (log1p.f64 (fma.f64 2 (+.f64 x y) x)))
(expm1.f64 (log1p.f64 (fma.f64 2 y (*.f64 3 x))))
(+.f64 (fma.f64 2 y (*.f64 3 x)) 0)
(log1p.f64 (expm1.f64 (fma.f64 2 (+.f64 x y) x)))
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)))
(fma.f64 2 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (fma.f64 2 (+.f64 x y) x)) 1))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 x 2 (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 x 1 (*.f64 2 (+.f64 x y)))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 2 x (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 2 (+.f64 x y) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (+.f64 x y) 2 x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (+.f64 x y)) 1 x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 1 x (*.f64 2 (+.f64 x y)))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 1 (*.f64 2 (+.f64 x y)) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 1 (*.f64 x 2) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) 2) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (+.f64 x y))) 2) (cbrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 2 (+.f64 x y)))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) 2) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 (*.f64 2 (+.f64 x y))) (sqrt.f64 (*.f64 2 (+.f64 x y))) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 2 (+.f64 x y)))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 2) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 (cbrt.f64 (*.f64 x 2)) (cbrt.f64 (*.f64 x 2))) (cbrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (sqrt.f64 (*.f64 x 2)) (sqrt.f64 (*.f64 x 2)) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 2 y x))
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)) x)
(fma.f64 2 y (*.f64 3 x))
(fma.f64 (*.f64 2 (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)) x)
(fma.f64 2 y (*.f64 3 x))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x 3 z))) 1)
(expm1.f64 (log1p.f64 (fma.f64 3 x z)))
(+.f64 (fma.f64 3 x z) 0)
(-.f64 (/.f64 (pow.f64 z 2) (+.f64 z (*.f64 -3 x))) (/.f64 (*.f64 (pow.f64 x 2) 9) (+.f64 z (*.f64 -3 x))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(*.f64 (fma.f64 x 3 z) 1)
(fma.f64 3 x z)
(*.f64 1 (fma.f64 x 3 z))
(fma.f64 3 x z)
(*.f64 (cbrt.f64 (fma.f64 x 3 z)) (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2))
(fma.f64 3 x z)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 2) (cbrt.f64 (fma.f64 x 3 z)))
(fma.f64 3 x z)
(*.f64 (sqrt.f64 (fma.f64 x 3 z)) (sqrt.f64 (fma.f64 x 3 z)))
(fma.f64 3 x z)
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 3 x) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 z (fma.f64 x -3 z) (*.f64 (pow.f64 x 2) 9)))
(*.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (/.f64 1 (+.f64 z (*.f64 -3 x))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)) (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 3 x) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 z (fma.f64 x -3 z) (*.f64 (pow.f64 x 2) 9)))
(/.f64 1 (/.f64 (+.f64 z (*.f64 -3 x)) (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2)))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 3 x) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 z (fma.f64 x -3 z) (*.f64 (pow.f64 x 2) 9)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (pow.f64 x 2) 9 (-.f64 (pow.f64 z 2) (*.f64 z (*.f64 x 3)))))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 3 x) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 z (fma.f64 x -3 z) (*.f64 (pow.f64 x 2) 9)))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 -3 x)))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3))) (neg.f64 (fma.f64 (*.f64 x 3) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(*.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (/.f64 1 (fma.f64 (*.f64 3 x) (fma.f64 x 3 (neg.f64 z)) (pow.f64 z 2))))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 (*.f64 3 x) (fma.f64 3 x (neg.f64 z)) (pow.f64 z 2)))
(/.f64 (fma.f64 (pow.f64 x 3) 27 (pow.f64 z 3)) (fma.f64 z (fma.f64 x -3 z) (*.f64 (pow.f64 x 2) 9)))
(/.f64 (neg.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9))) (neg.f64 (+.f64 z (*.f64 -3 x))))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) 9) (pow.f64 z 2)) (fma.f64 x 3 (neg.f64 z)))
(/.f64 (-.f64 (pow.f64 z 2) (*.f64 (pow.f64 x 2) 9)) (+.f64 z (*.f64 x -3)))
(/.f64 (fma.f64 z z (*.f64 (pow.f64 x 2) -9)) (fma.f64 x -3 z))
(/.f64 (fma.f64 (pow.f64 x 2) -9 (pow.f64 z 2)) (fma.f64 x -3 z))
(pow.f64 (fma.f64 x 3 z) 1)
(fma.f64 3 x z)
(pow.f64 (cbrt.f64 (fma.f64 x 3 z)) 3)
(fma.f64 3 x z)
(pow.f64 (pow.f64 (fma.f64 x 3 z) 3) 1/3)
(fma.f64 3 x z)
(pow.f64 (sqrt.f64 (fma.f64 x 3 z)) 2)
(fma.f64 3 x z)
(sqrt.f64 (pow.f64 (fma.f64 x 3 z) 2))
(fma.f64 3 x z)
(log.f64 (exp.f64 (fma.f64 x 3 z)))
(fma.f64 3 x z)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 3 z))))
(fma.f64 3 x z)
(cbrt.f64 (pow.f64 (fma.f64 x 3 z) 3))
(fma.f64 3 x z)
(expm1.f64 (log1p.f64 (fma.f64 x 3 z)))
(expm1.f64 (log1p.f64 (fma.f64 3 x z)))
(+.f64 (fma.f64 3 x z) 0)
(log1p.f64 (expm1.f64 (fma.f64 x 3 z)))
(fma.f64 3 x z)
(exp.f64 (log.f64 (fma.f64 x 3 z)))
(fma.f64 3 x z)
(exp.f64 (*.f64 (log.f64 (fma.f64 x 3 z)) 1))
(fma.f64 3 x z)
(fma.f64 x 3 z)
(fma.f64 3 x z)
(fma.f64 z 1 (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 3 x z)
(fma.f64 (*.f64 x 3) 1 z)
(fma.f64 3 x z)
(fma.f64 1 z (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 1 (*.f64 x 3) z)
(fma.f64 3 x z)
(fma.f64 (cbrt.f64 (*.f64 x 3)) (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) z)
(fma.f64 3 x z)
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x 3)) 2) (cbrt.f64 (*.f64 x 3)) z)
(fma.f64 3 x z)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 3) z)
(fma.f64 3 x z)
(fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 (sqrt.f64 (*.f64 x 3)) (sqrt.f64 (*.f64 x 3)) z)
(fma.f64 3 x z)
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 3) z)
(fma.f64 3 x z)
(fma.f64 (sqrt.f64 z) (sqrt.f64 z) (*.f64 x 3))
(fma.f64 3 x z)
(fma.f64 (*.f64 3 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) z)
(fma.f64 3 x z)
(fma.f64 (*.f64 3 (sqrt.f64 x)) (sqrt.f64 x) z)
(fma.f64 3 x z)

eval59.0ms (1%)

Compiler

Compiled 1517 to 912 computations (39.9% saved)

prune19.0ms (0.3%)

Pruning

7 alts after pruning (1 fresh and 6 done)

PrunedKeptTotal
New1211122
Fresh000
Picked112
Done156
Total1237130
Accuracy
100.0%
Counts
130 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
▶65.9%
(+.f64 (*.f64 2 y) (*.f64 3 x))
✓63.0%
(+.f64 z (*.f64 3 x))
✓71.4%
(+.f64 z (*.f64 2 y))
✓29.8%
(*.f64 3 x)
✓37.9%
(*.f64 2 y)
✓35.2%
z
Compiler

Compiled 53 to 41 computations (22.6% saved)

localize38.0ms (0.7%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
99.9%
(+.f64 (*.f64 2 y) (*.f64 3 x))
Compiler

Compiled 21 to 15 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Operation ival-mult, time spent: 7.0ms, 71.0% of total-time
Operation ival-add, time spent: 2.0ms, 20.0% of total-time
Operation const, time spent: 1.0ms, 10.0% of total-time

eval27.0ms (0.5%)

Compiler

Compiled 1195 to 916 computations (23.3% saved)

prune39.0ms (0.7%)

Pruning

7 alts after pruning (1 fresh and 6 done)

PrunedKeptTotal
New80181
Fresh000
Picked011
Done156
Total81788
Accuracy
100.0%
Counts
88 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
65.9%
(fma.f64 x 3 (*.f64 2 y))
✓65.9%
(+.f64 (*.f64 2 y) (*.f64 3 x))
✓63.0%
(+.f64 z (*.f64 3 x))
✓71.4%
(+.f64 z (*.f64 2 y))
✓29.8%
(*.f64 3 x)
✓37.9%
(*.f64 2 y)
✓35.2%
z
Compiler

Compiled 135 to 89 computations (34.1% saved)

regimes33.0ms (0.6%)

Counts
13 → 1
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 x (+.f64 z (*.f64 2 x)))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(fma.f64 x 3 (*.f64 2 y))
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
Outputs
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
Calls

4 calls:

9.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
8.0ms
y
8.0ms
z
8.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1z
100.0%1(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
Compiler

Compiled 26 to 17 computations (34.6% saved)

regimes38.0ms (0.6%)

Counts
12 → 1
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 x (+.f64 z (*.f64 2 x)))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 (*.f64 2 (+.f64 x y)) (+.f64 x z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(fma.f64 x 3 (*.f64 2 y))
Outputs
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
Calls

4 calls:

14.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
8.0ms
y
7.0ms
z
7.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1z
100.0%1(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
Compiler

Compiled 26 to 17 computations (34.6% saved)

regimes112.0ms (1.9%)

Counts
8 → 3
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 x (+.f64 z (*.f64 2 x)))
(+.f64 (*.f64 2 y) (*.f64 3 x))
Outputs
(+.f64 z (*.f64 2 y))
(+.f64 (*.f64 2 y) (*.f64 3 x))
(+.f64 z (*.f64 2 y))
Calls

3 calls:

43.0ms
z
39.0ms
x
29.0ms
y
Results
AccuracySegmentsBranch
88.8%6x
90.7%5y
90.0%3z
Compiler

Compiled 12 to 9 computations (25% saved)

regimes16.0ms (0.3%)

Counts
7 → 3
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 x (+.f64 z (*.f64 2 x)))
Outputs
(+.f64 z (*.f64 2 y))
(+.f64 x (*.f64 2 (+.f64 x y)))
(+.f64 z (*.f64 2 y))
Calls

1 calls:

16.0ms
z
Results
AccuracySegmentsBranch
90.0%3z
Compiler

Compiled 4 to 3 computations (25% saved)

regimes79.0ms (1.4%)

Counts
5 → 3
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
Outputs
(+.f64 z (*.f64 2 y))
(+.f64 z (*.f64 3 x))
(+.f64 z (*.f64 2 y))
Calls

2 calls:

52.0ms
y
27.0ms
z
Results
AccuracySegmentsBranch
87.7%3y
77.5%5z
Compiler

Compiled 8 to 6 computations (25% saved)

regimes31.0ms (0.5%)

Counts
4 → 3
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
Outputs
(*.f64 3 x)
(+.f64 z (*.f64 2 y))
(*.f64 3 x)
Calls

2 calls:

16.0ms
x
14.0ms
y
Results
AccuracySegmentsBranch
79.3%3x
75.2%3y
Compiler

Compiled 8 to 6 computations (25% saved)

regimes125.0ms (2.1%)

Counts
3 → 6
Calls
Call 1
Inputs
z
(*.f64 2 y)
(*.f64 3 x)
Outputs
z
(*.f64 2 y)
(*.f64 3 x)
(*.f64 2 y)
(*.f64 3 x)
z
Calls

3 calls:

58.0ms
z
33.0ms
x
33.0ms
y
Results
AccuracySegmentsBranch
65.4%6z
66.7%9y
58.8%8x
Compiler

Compiled 12 to 9 computations (25% saved)

regimes10.0ms (0.2%)

Counts
2 → 3
Calls
Call 1
Inputs
z
(*.f64 2 y)
Outputs
z
(*.f64 2 y)
z
Calls

1 calls:

9.0ms
z
Results
AccuracySegmentsBranch
60.2%3z
Compiler

Compiled 4 to 3 computations (25% saved)

regimes8.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
z
Outputs
z
Calls

3 calls:

3.0ms
z
3.0ms
y
3.0ms
x
Results
AccuracySegmentsBranch
35.2%1x
35.2%1y
35.2%1z
Compiler

Compiled 12 to 9 computations (25% saved)

bsearch35.0ms (0.6%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
12.0ms
9.243646877029991e+28
2.604589341740823e+29
23.0ms
-6.244742717178585e+64
-2.0148692377945256e+52
Results
27.0ms239×0valid
3.0ms5×5exit
0.0ms1×0valid
Compiler

Compiled 320 to 253 computations (20.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0ms
Operation ival-add, time spent: 9.0ms, 86.0% of total-time
Operation backward-pass, time spent: 1.0ms, 10.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch34.0ms (0.6%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
11.0ms
9.243646877029991e+28
2.604589341740823e+29
23.0ms
-6.244742717178585e+64
-2.0148692377945256e+52
Results
27.0ms239×0valid
2.0ms5×5exit
0.0ms1×0valid
Compiler

Compiled 320 to 238 computations (25.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Operation ival-add, time spent: 8.0ms, 89.0% of total-time
Operation backward-pass, time spent: 1.0ms, 11.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch44.0ms (0.7%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
20.0ms
8.024904365786443e+68
3.4239016044832932e+72
24.0ms
-1.4803473175880632e+43
-5.360349272725011e+34
Results
30.0ms271×0valid
8.0ms14×5exit
0.0ms1×0valid
Compiler

Compiled 326 to 251 computations (23% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
Operation ival-add, time spent: 11.0ms, 88.0% of total-time
Operation backward-pass, time spent: 1.0ms, 8.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch68.0ms (1.1%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
32.0ms
1.5586875200125997e+94
4.621936617765878e+103
35.0ms
-7.707521117946099e+118
-2.989002478236302e+117
Results
29.0ms255×0valid
30.0ms58×5exit
0.0ms1×0valid
Compiler

Compiled 276 to 221 computations (19.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.0ms
Operation ival-add, time spent: 19.0ms, 79.0% of total-time
Operation backward-pass, time spent: 5.0ms, 21.0% of total-time
Operation const, time spent: 1.0ms, 4.0% of total-time

bsearch104.0ms (1.8%)

Algorithm
5×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
11.0ms
9.243646877029991e+28
2.604589341740823e+29
20.0ms
4.8989758879069247e-54
3.317688563540064e-51
25.0ms
4.6580965779956826e-110
7.48051304827496e-101
21.0ms
1.2757032514797005e-214
2.1310588916849377e-213
27.0ms
-6.244742717178585e+64
-2.0148692377945256e+52
Results
72.0ms623×0valid
17.0ms28×5exit
0.0ms1×0valid
Compiler

Compiled 536 to 451 computations (15.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0ms
Operation ival-add, time spent: 25.0ms, 88.0% of total-time
Operation backward-pass, time spent: 3.0ms, 11.0% of total-time
Operation const, time spent: 1.0ms, 4.0% of total-time

bsearch38.0ms (0.6%)

Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
16.0ms
4.225869425836825e-21
2.973216017644801e-20
22.0ms
-6.244742717178585e+64
-2.0148692377945256e+52
Results
27.0ms255×0valid
5.0ms9×5exit
0.0ms1×0valid
Compiler

Compiled 212 to 173 computations (18.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Operation ival-add, time spent: 8.0ms, 88.0% of total-time
Operation backward-pass, time spent: 1.0ms, 11.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

simplify17.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
16×+-commutative
10×*-commutative
10×if-if-or-not
4×sub-neg
2×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074500
1104500
2109500
3111500
4112500
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(if (<=.f64 z -749999999999999973648063573212567015885368366972534784) (+.f64 z (*.f64 2 y)) (if (<=.f64 z 130000000000000001177626345472) (+.f64 (*.f64 2 y) (*.f64 3 x)) (+.f64 z (*.f64 2 y))))
(if (<=.f64 z -32000000000000001851454718167263034476588118053601294021524717568) (+.f64 z (*.f64 2 y)) (if (<=.f64 z 189999999999999985482205233152) (+.f64 x (*.f64 2 (+.f64 x y))) (+.f64 z (*.f64 2 y))))
(if (<=.f64 y -5199999999999999800126692176111671070162944) (+.f64 z (*.f64 2 y)) (if (<=.f64 y 8999999999999999886535157000818686956251856111664105790294330307510272) (+.f64 z (*.f64 3 x)) (+.f64 z (*.f64 2 y))))
(if (<=.f64 x -6800000000000000175796052873430914144943840766827101438215861735512467677544998187320396625802352187350624374639034368) (*.f64 3 x) (if (<=.f64 x 359999999999999980956012423635524842637849796302164070341440594164143299837525494018255283124436992) (+.f64 z (*.f64 2 y)) (*.f64 3 x)))
(if (<=.f64 z -709999999999999973919225626238101896826900029294772224) z (if (<=.f64 z 4002585706712765/3032261899024822138962850563403325303236105502181048068630961011769630766965579856114996892243450152247046349017834127355803867273661746858289623584064806912508701125040722471777861885999215712549341795300227478029087591511359488) (*.f64 2 y) (if (<=.f64 z 8263199609878107/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016) (*.f64 3 x) (if (<=.f64 z 5560489000099819/1684996666696914987166688442938726917102321526408785780068975640576) (*.f64 2 y) (if (<=.f64 z 137999999999999999084903530496) (*.f64 3 x) z)))))
(if (<=.f64 z -42999999999999999117090039288958953488508395287181600489472) z (if (<=.f64 z 4984604984193435/664613997892457936451903530140172288) (*.f64 2 y) z))
z
Outputs
(-.f64 z (fma.f64 x -3 (*.f64 y -2)))
(+.f64 z (+.f64 (*.f64 2 y) (*.f64 3 x)))
(+.f64 z (+.f64 (*.f64 y 2) (*.f64 x 3)))
(if (<=.f64 z -749999999999999973648063573212567015885368366972534784) (+.f64 z (*.f64 2 y)) (if (<=.f64 z 130000000000000001177626345472) (+.f64 (*.f64 2 y) (*.f64 3 x)) (+.f64 z (*.f64 2 y))))
(if (or (<=.f64 z -749999999999999973648063573212567015885368366972534784) (not (<=.f64 z 130000000000000001177626345472))) (+.f64 z (*.f64 y 2)) (+.f64 (*.f64 y 2) (*.f64 x 3)))
(if (<=.f64 z -32000000000000001851454718167263034476588118053601294021524717568) (+.f64 z (*.f64 2 y)) (if (<=.f64 z 189999999999999985482205233152) (+.f64 x (*.f64 2 (+.f64 x y))) (+.f64 z (*.f64 2 y))))
(if (or (<=.f64 z -32000000000000001851454718167263034476588118053601294021524717568) (not (<=.f64 z 189999999999999985482205233152))) (+.f64 z (*.f64 y 2)) (+.f64 x (*.f64 2 (+.f64 x y))))
(if (<=.f64 y -5199999999999999800126692176111671070162944) (+.f64 z (*.f64 2 y)) (if (<=.f64 y 8999999999999999886535157000818686956251856111664105790294330307510272) (+.f64 z (*.f64 3 x)) (+.f64 z (*.f64 2 y))))
(if (or (<=.f64 y -5199999999999999800126692176111671070162944) (not (<=.f64 y 8999999999999999886535157000818686956251856111664105790294330307510272))) (+.f64 z (*.f64 y 2)) (+.f64 z (*.f64 x 3)))
(if (<=.f64 x -6800000000000000175796052873430914144943840766827101438215861735512467677544998187320396625802352187350624374639034368) (*.f64 3 x) (if (<=.f64 x 359999999999999980956012423635524842637849796302164070341440594164143299837525494018255283124436992) (+.f64 z (*.f64 2 y)) (*.f64 3 x)))
(if (or (<=.f64 x -6800000000000000175796052873430914144943840766827101438215861735512467677544998187320396625802352187350624374639034368) (not (<=.f64 x 359999999999999980956012423635524842637849796302164070341440594164143299837525494018255283124436992))) (*.f64 x 3) (+.f64 z (*.f64 y 2)))
(if (<=.f64 z -709999999999999973919225626238101896826900029294772224) z (if (<=.f64 z 4002585706712765/3032261899024822138962850563403325303236105502181048068630961011769630766965579856114996892243450152247046349017834127355803867273661746858289623584064806912508701125040722471777861885999215712549341795300227478029087591511359488) (*.f64 2 y) (if (<=.f64 z 8263199609878107/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016) (*.f64 3 x) (if (<=.f64 z 5560489000099819/1684996666696914987166688442938726917102321526408785780068975640576) (*.f64 2 y) (if (<=.f64 z 137999999999999999084903530496) (*.f64 3 x) z)))))
(if (<=.f64 z -709999999999999973919225626238101896826900029294772224) z (if (<=.f64 z 4002585706712765/3032261899024822138962850563403325303236105502181048068630961011769630766965579856114996892243450152247046349017834127355803867273661746858289623584064806912508701125040722471777861885999215712549341795300227478029087591511359488) (*.f64 y 2) (if (<=.f64 z 8263199609878107/41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016) (*.f64 x 3) (if (<=.f64 z 5560489000099819/1684996666696914987166688442938726917102321526408785780068975640576) (*.f64 y 2) (if (<=.f64 z 137999999999999999084903530496) (*.f64 x 3) z)))))
(if (<=.f64 z -42999999999999999117090039288958953488508395287181600489472) z (if (<=.f64 z 4984604984193435/664613997892457936451903530140172288) (*.f64 2 y) z))
(if (<=.f64 z -42999999999999999117090039288958953488508395287181600489472) z (if (<=.f64 z 4984604984193435/664613997892457936451903530140172288) (*.f64 y 2) z))
z
Compiler

Compiled 170 to 123 computations (27.6% saved)

soundness1.1s (19.2%)

Rules
12062×fma-define
12062×fma-define
2202×unsub-neg
2202×unsub-neg
1338×distribute-neg-in
Iterations

Useful iterations: 16 (0.0ms)

IterNodesCost
048559
1152415
2590367
32616361
45071361
56455361
66861361
76975361
86986361
96986361
107617361
117824358
127848358
137856358
147856358
157856358
167860318
048559
1152415
2590367
32616361
45071361
56455361
66861361
76975361
86986361
96986361
107617361
117824358
127848358
137856358
147856358
157856358
167860318
Stop Event
1×node limit
1×node limit
Compiler

Compiled 340 to 134 computations (60.6% saved)

end0.0ms (0%)

preprocess132.0ms (2.2%)

Compiler

Compiled 320 to 214 computations (33.1% saved)

Profiling

Loading profile data...