Linear.Matrix:fromQuaternion from linear-1.19.1.3, B

Details

Time bar (total: 3.4s)

analyze2.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%199.8%-99.8%0%0%0%1
0%0%399.6%-299.6%0%0%0%2
100%399.6%0%-299.6%0%0%0%3
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample2.3s (67%)

Results
1.5s5875×body256valid
795.0ms2381×body256infinite
Bogosity

preprocess15.0ms (0.4%)

Algorithm
2×egg-herbie
Rules
60×fma-def
42×*-commutative
16×distribute-rgt-in
16×associate-*r*
16×associate-*l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01338
14138
28138
313638
414038
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 2 (+.f64 (*.f64 y y) (*.f64 y x)))
Outputs
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 2 (*.f64 x (+.f64 x y)))
(*.f64 2 (+.f64 (*.f64 y y) (*.f64 y x)))
(*.f64 2 (*.f64 y (+.f64 y x)))
(*.f64 2 (*.f64 y (+.f64 x y)))
Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify15.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
34×fma-def
26×*-commutative
10×associate-*r*
10×associate-*l*
8×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
12219
24519
37719
48119
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
Outputs
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
(*.f64 2 (*.f64 x (+.f64 x y)))

eval0.0ms (0%)

Compiler

Compiled 18 to 11 computations (38.9% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Accurracy
100.0%
Counts
3 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶97.2%
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
▶100.0%
(*.f64 2 (*.f64 x (+.f64 x y)))
▶97.2%
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
▶100.0%
(*.f64 2 (*.f64 x (+.f64 x y)))
Compiler

Compiled 40 to 26 computations (35% saved)

localize219.0ms (6.5%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiled 46 to 14 computations (69.6% saved)

series4.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(*.f64 x (+.f64 x y))
0.0ms
y
@inf
(*.f64 x (+.f64 x y))
0.0ms
x
@inf
(*.f64 x (+.f64 x y))
0.0ms
x
@0
(*.f64 x (+.f64 x y))
0.0ms
x
@inf
(+.f64 (*.f64 x x) (*.f64 x y))

rewrite75.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
1166×fma-def
934×prod-exp
922×log-prod
732×pow-prod-down
462×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
120326
2273526
Stop Event
1×node limit
Counts
2 → 158
Calls
Call 1
Inputs
(*.f64 x (+.f64 x y))
(+.f64 (*.f64 x x) (*.f64 x y))
Outputs
(+.f64 (*.f64 x x) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 x x))
(+.f64 0 (*.f64 x (+.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(fma.f64 x x (*.f64 x y))
(fma.f64 x y (*.f64 x x))
(fma.f64 y x (*.f64 x x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(*.f64 x (+.f64 x y))
(*.f64 (+.f64 x y) x)
(*.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 1 (*.f64 x (+.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) x))
(*.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2) (cbrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (+.f64 x y)))
(*.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) x))
(*.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) (sqrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 x y)))
(*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (*.f64 x (-.f64 x y))))
(*.f64 (*.f64 x (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)))
(*.f64 (*.f64 x (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)))
(*.f64 (*.f64 (+.f64 x y) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(*.f64 (*.f64 (+.f64 x y) (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(fma.f64 x x (*.f64 x y))
(fma.f64 x y (*.f64 x x))
(fma.f64 y x (*.f64 x x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))

simplify99.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
1280×fma-def
934×fma-neg
880×times-frac
824×distribute-lft-in
794×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02264204
15684096
215143844
372553844
Stop Event
1×node limit
Counts
206 → 119
Calls
Call 1
Inputs
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 x x) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 x x))
(+.f64 0 (*.f64 x (+.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(fma.f64 x x (*.f64 x y))
(fma.f64 x y (*.f64 x x))
(fma.f64 y x (*.f64 x x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(*.f64 x (+.f64 x y))
(*.f64 (+.f64 x y) x)
(*.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 1 (*.f64 x (+.f64 x y)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) x))
(*.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2) (cbrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (+.f64 x y)))
(*.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) x))
(*.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) (sqrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 x y)))
(*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (*.f64 x (-.f64 x y))))
(*.f64 (*.f64 x (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)))
(*.f64 (*.f64 x (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)))
(*.f64 (*.f64 (+.f64 x y) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(*.f64 (*.f64 (+.f64 x y) (sqrt.f64 x)) (sqrt.f64 x))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(fma.f64 x x (*.f64 x y))
(fma.f64 x y (*.f64 x x))
(fma.f64 y x (*.f64 x x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))
Outputs
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 x x) (*.f64 x y))
(*.f64 x (+.f64 y x))
(+.f64 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(+.f64 0 (*.f64 x (+.f64 x y)))
(*.f64 x (+.f64 y x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 y x)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 y x)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (+.f64 y x)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))))
(*.f64 x (+.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(*.f64 x (+.f64 y x))
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 x (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 x (fma.f64 y (-.f64 y x) (*.f64 x x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (fma.f64 x (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (/.f64 (-.f64 x y) x))
(*.f64 (/.f64 x (-.f64 x y)) (*.f64 (+.f64 y x) (-.f64 x y)))
(*.f64 (/.f64 x 1) (+.f64 y x))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 x (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 x (fma.f64 y (-.f64 y x) (*.f64 x x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (fma.f64 x (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (/.f64 (-.f64 x y) x))
(*.f64 (/.f64 x (-.f64 x y)) (*.f64 (+.f64 y x) (-.f64 x y)))
(*.f64 (/.f64 x 1) (+.f64 y x))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(*.f64 x (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(*.f64 x (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(*.f64 x (+.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(*.f64 x (+.f64 y x))
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(*.f64 x (+.f64 y x))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(*.f64 x (+.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 x (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(*.f64 x (+.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(*.f64 x (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(fma.f64 x x (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 x y (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 y x (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x)) (*.f64 x x))
(fma.f64 x x (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x))))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 y x))
(fma.f64 y x (*.f64 (sqrt.f64 x) (pow.f64 x 3/2)))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 y x))
(fma.f64 y x (*.f64 (sqrt.f64 x) (pow.f64 x 3/2)))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x)) (*.f64 x x))
(fma.f64 x x (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x))))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 (cbrt.f64 x) 6))
(fma.f64 y x (pow.f64 (cbrt.f64 x) 6))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (+.f64 x y)))) 1)
(*.f64 x (+.f64 y x))
(-.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x y))) (/.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(*.f64 x (+.f64 x y))
(*.f64 x (+.f64 y x))
(*.f64 (+.f64 x y) x)
(*.f64 x (+.f64 y x))
(*.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(*.f64 1 (*.f64 x (+.f64 x y)))
(*.f64 x (+.f64 y x))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) 2) (*.f64 (cbrt.f64 (+.f64 x y)) x))
(*.f64 x (+.f64 y x))
(*.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2))
(*.f64 x (+.f64 y x))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 2) (cbrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (+.f64 x y)))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (+.f64 y x) (cbrt.f64 x)))
(*.f64 (+.f64 y x) (*.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(*.f64 (sqrt.f64 (+.f64 x y)) (*.f64 (sqrt.f64 (+.f64 x y)) x))
(*.f64 x (+.f64 y x))
(*.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) (sqrt.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 x y)))
(*.f64 x (+.f64 y x))
(*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (/.f64 1 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(*.f64 (*.f64 x (pow.f64 (cbrt.f64 (+.f64 x y)) 2)) (cbrt.f64 (+.f64 x y)))
(*.f64 x (+.f64 y x))
(*.f64 (*.f64 x (sqrt.f64 (+.f64 x y))) (sqrt.f64 (+.f64 x y)))
(*.f64 x (+.f64 y x))
(*.f64 (*.f64 (+.f64 x y) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (+.f64 y x) (cbrt.f64 x)))
(*.f64 (+.f64 y x) (*.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(*.f64 (*.f64 (+.f64 x y) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 x (+.f64 y x))
(/.f64 1 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 1 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) y))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) (neg.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4))))
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) (neg.f64 (*.f64 x (-.f64 x y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 x 4)) (-.f64 (*.f64 x y) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(/.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 x (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 x (fma.f64 y (-.f64 y x) (*.f64 x x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (fma.f64 x (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 x (*.f64 (+.f64 x y) (-.f64 x y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (/.f64 (-.f64 x y) x))
(*.f64 (/.f64 x (-.f64 x y)) (*.f64 (+.f64 y x) (-.f64 x y)))
(*.f64 (/.f64 x 1) (+.f64 y x))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) x) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 x (/.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 x (fma.f64 y (-.f64 y x) (*.f64 x x))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (fma.f64 x (pow.f64 y 3) (pow.f64 x 4)) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 x y)) x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (/.f64 (-.f64 x y) x))
(*.f64 (/.f64 x (-.f64 x y)) (*.f64 (+.f64 y x) (-.f64 x y)))
(*.f64 (/.f64 x 1) (+.f64 y x))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 x (+.f64 x y))) 3)
(*.f64 x (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2) 1/2)
(*.f64 x (+.f64 y x))
(pow.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3) 1/3)
(*.f64 x (+.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x y))) 2)
(*.f64 x (+.f64 y x))
(pow.f64 (/.f64 (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 x 6))) -1)
(*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (/.f64 1 (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4))))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 (*.f64 y x) (*.f64 x (-.f64 y x)) (pow.f64 x 4)))
(/.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 x 6)) (fma.f64 y (*.f64 x (*.f64 x (-.f64 y x))) (pow.f64 x 4)))
(pow.f64 (/.f64 (*.f64 x (-.f64 x y)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))) -1)
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y x) 2)) (*.f64 x (-.f64 x y)))
(/.f64 (/.f64 (*.f64 x (+.f64 y x)) (/.f64 1 x)) x)
(sqrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 2))
(*.f64 x (+.f64 y x))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x y)))
(*.f64 x (+.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (+.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (exp.f64 (*.f64 x x)) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) y)))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (exp.f64 (*.f64 x x))))
(*.f64 x (+.f64 y x))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))
(*.f64 x (+.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 x (+.f64 x y)) 3))
(*.f64 x (+.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (log.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (+.f64 x y))) 1) 1))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 x y)))) 3))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (+.f64 x y)))) 1/3))
(*.f64 x (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (+.f64 x y)))) 2))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (+.f64 x y)) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (+.f64 x y))))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (+.f64 x y)) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (log.f64 (+.f64 x y)) (*.f64 (log.f64 x) 1)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (log.f64 x)))
(*.f64 x (+.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (+.f64 x y)) 1) (*.f64 (log.f64 x) 1)))
(*.f64 x (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 x (+.f64 x y))))
(*.f64 x (+.f64 y x))
(fma.f64 x x (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 x y (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 y x (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x x) 1 (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x y) 1 (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 1 (*.f64 x x) (*.f64 x y))
(*.f64 x (+.f64 y x))
(fma.f64 1 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 y x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) y) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x)) (*.f64 x x))
(fma.f64 x x (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x))))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (*.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 y x))
(fma.f64 y x (*.f64 (sqrt.f64 x) (pow.f64 x 3/2)))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x y))
(fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 y x))
(fma.f64 y x (*.f64 (sqrt.f64 x) (pow.f64 x 3/2)))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (*.f64 y (cbrt.f64 (*.f64 x x))) (cbrt.f64 x) (*.f64 x x))
(fma.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x)) (*.f64 x x))
(fma.f64 x x (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y (cbrt.f64 x))))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))
(*.f64 x (+.f64 y x))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 y x))
(+.f64 (*.f64 y x) (pow.f64 (cbrt.f64 x) 6))
(fma.f64 y x (pow.f64 (cbrt.f64 x) 6))

eval29.0ms (0.9%)

Compiler

Compiled 1653 to 732 computations (55.7% saved)

prune18.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1172119
Fresh000
Picked022
Done000
Total1174121
Accurracy
100.0%
Counts
121 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.2%
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
▶59.0%
(*.f64 2 (*.f64 y x))
✓100.0%
(*.f64 2 (*.f64 x (+.f64 x y)))
▶58.8%
(*.f64 2 (*.f64 x x))
✓97.2%
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
▶59.0%
(*.f64 2 (*.f64 y x))
✓100.0%
(*.f64 2 (*.f64 x (+.f64 x y)))
▶58.8%
(*.f64 2 (*.f64 x x))
Compiler

Compiled 68 to 46 computations (32.4% saved)

localize114.0ms (3.4%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiled 24 to 11 computations (54.2% saved)

series3.0ms (0.1%)

Counts
2 → 12
Calls

9 calls:

TimeVariablePointExpression
1.0ms
x
@inf
(*.f64 2 (*.f64 x x))
0.0ms
y
@0
(*.f64 2 (*.f64 y x))
0.0ms
x
@inf
(*.f64 2 (*.f64 y x))
0.0ms
x
@0
(*.f64 2 (*.f64 y x))
0.0ms
x
@0
(*.f64 2 (*.f64 x x))

rewrite58.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
1650×pow1
1508×add-exp-log
1508×log1p-expm1-u
1508×expm1-log1p-u
1474×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
118226
2213426
Stop Event
1×node limit
Counts
2 → 22
Calls
Call 1
Inputs
(*.f64 2 (*.f64 x x))
(*.f64 2 (*.f64 y x))
Outputs
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x x))) 1)
(pow.f64 (*.f64 2 (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 2))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x x))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x x))))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x x))))
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x y))) 1)
(pow.f64 (*.f64 2 (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 x y))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 x y) 2) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 2))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x y))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x y))))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x y))))

simplify64.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
1400×log-prod
1386×exp-sum
976×distribute-rgt-in
970×distribute-lft-in
922×fma-def
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
063574
1158508
2615442
32020442
46889442
Stop Event
1×node limit
Counts
34 → 28
Calls
Call 1
Inputs
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x x))) 1)
(pow.f64 (*.f64 2 (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 3)
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 2))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x x))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x x))))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x x))))
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x y))) 1)
(pow.f64 (*.f64 2 (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 x y))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 x y) 2) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 2))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x y))))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x y))))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x y))))
Outputs
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (*.f64 x x))
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x x))) 1)
(*.f64 2 (*.f64 x x))
(pow.f64 (*.f64 2 (*.f64 x x)) 1)
(*.f64 2 (*.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 3)
(*.f64 2 (*.f64 x x))
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3) 1/3)
(*.f64 2 (*.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(*.f64 2 (*.f64 x x))
(sqrt.f64 (*.f64 (pow.f64 x 4) 4))
(*.f64 2 (*.f64 x x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 2))
(*.f64 2 (*.f64 x x))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 3))
(*.f64 2 (*.f64 x x))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x x))))
(*.f64 2 (*.f64 x x))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x x))))
(*.f64 2 (*.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x x))))
(*.f64 2 (*.f64 x x))
(-.f64 (+.f64 1 (*.f64 2 (*.f64 x y))) 1)
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(pow.f64 (*.f64 2 (*.f64 x y)) 1)
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x y))) 3)
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(pow.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(pow.f64 (sqrt.f64 (*.f64 2 (*.f64 x y))) 2)
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(sqrt.f64 (*.f64 (pow.f64 (*.f64 x y) 2) 4))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 2))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(cbrt.f64 (pow.f64 (*.f64 2 (*.f64 x y)) 3))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(expm1.f64 (log1p.f64 (*.f64 2 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(exp.f64 (log.f64 (*.f64 2 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))
(log1p.f64 (expm1.f64 (*.f64 2 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 2 (*.f64 x y)) 1))
(+.f64 (*.f64 2 (*.f64 x y)) 0)
(*.f64 x (*.f64 2 y))
(*.f64 2 (*.f64 x y))

eval5.0ms (0.1%)

Compiler

Compiled 204 to 131 computations (35.8% saved)

prune6.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New28028
Fresh000
Picked022
Done022
Total28432
Accurracy
100.0%
Counts
32 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.2%
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
✓59.0%
(*.f64 2 (*.f64 y x))
✓100.0%
(*.f64 2 (*.f64 x (+.f64 x y)))
✓58.8%
(*.f64 2 (*.f64 x x))
Compiler

Compiled 62 to 39 computations (37.1% saved)

regimes17.0ms (0.5%)

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

4 calls:

5.0ms
(+.f64 (*.f64 x x) (*.f64 x y))
4.0ms
x
4.0ms
y
3.0ms
(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1(*.f64 2 (+.f64 (*.f64 x x) (*.f64 x y)))
100.0%1(+.f64 (*.f64 x x) (*.f64 x y))
Compiler

Compiled 54 to 32 computations (40.7% saved)

regimes31.0ms (0.9%)

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

2 calls:

15.0ms
x
15.0ms
y
Results
AccuracySegmentsBranch
82.6%5x
87.2%5y
Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes45.0ms (1.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 2 (*.f64 x x))
Outputs
(*.f64 2 (*.f64 x x))
Calls

2 calls:

42.0ms
x
3.0ms
y
Results
AccuracySegmentsBranch
58.8%1x
58.8%1y
Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch125.0ms (3.7%)

Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
30.0ms
1.6388862517972042e+47
6.627804681440233e+51
19.0ms
-0.2173668512301448
-0.02542503206009485
52.0ms
-3.066094424911915e+54
-1.8011181562814053e+50
24.0ms
-8.725045803167e+106
-3.4352112442949356e+104
Results
99.0ms364×body256valid
20.0ms100×body256infinite
Compiler

Compiled 480 to 359 computations (25.2% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
10×*-commutative
8×not-or
6×not-not
6×if-if-or-not
6×if-not
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
027127
138121
241115
347111
451111
555111
656111
757111
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 2 (*.f64 x (+.f64 x y)))
(if (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (*.f64 2 (*.f64 y x)) (if (<=.f64 y -12499999999999999915261858429520349705771355524300800) (*.f64 2 (*.f64 x x)) (if (<=.f64 y -5764607523034235/72057594037927936) (*.f64 2 (*.f64 y x)) (if (<=.f64 y 164999999999999995065118340246570309146267090944) (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 y x))))))
(*.f64 2 (*.f64 x x))
Outputs
(*.f64 2 (*.f64 x (+.f64 x y)))
(if (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (*.f64 2 (*.f64 y x)) (if (<=.f64 y -12499999999999999915261858429520349705771355524300800) (*.f64 2 (*.f64 x x)) (if (<=.f64 y -5764607523034235/72057594037927936) (*.f64 2 (*.f64 y x)) (if (<=.f64 y 164999999999999995065118340246570309146267090944) (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 y x))))))
(if (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (*.f64 2 (*.f64 x y)) (if (<=.f64 y -12499999999999999915261858429520349705771355524300800) (*.f64 2 (*.f64 x x)) (if (or (<=.f64 y -5764607523034235/72057594037927936) (not (<=.f64 y 164999999999999995065118340246570309146267090944))) (*.f64 2 (*.f64 x y)) (*.f64 2 (*.f64 x x)))))
(if (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (*.f64 2 (*.f64 x y)) (if (or (<=.f64 y -12499999999999999915261858429520349705771355524300800) (not (or (<=.f64 y -5764607523034235/72057594037927936) (not (<=.f64 y 164999999999999995065118340246570309146267090944))))) (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x y))))
(if (or (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (not (or (<=.f64 y -12499999999999999915261858429520349705771355524300800) (not (or (<=.f64 y -5764607523034235/72057594037927936) (not (<=.f64 y 164999999999999995065118340246570309146267090944))))))) (*.f64 2 (*.f64 x y)) (*.f64 2 (*.f64 x x)))
(if (or (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (not (or (<=.f64 y -12499999999999999915261858429520349705771355524300800) (and (not (<=.f64 y -5764607523034235/72057594037927936)) (<=.f64 y 164999999999999995065118340246570309146267090944))))) (*.f64 2 (*.f64 x y)) (*.f64 2 (*.f64 x x)))
(if (or (<=.f64 y -350000000000000016584829845120306606647816235241084087118078055624909721566243325167536555188931130294272) (and (not (<=.f64 y -12499999999999999915261858429520349705771355524300800)) (or (<=.f64 y -5764607523034235/72057594037927936) (not (<=.f64 y 164999999999999995065118340246570309146267090944))))) (*.f64 2 (*.f64 x y)) (*.f64 2 (*.f64 x x)))
(*.f64 2 (*.f64 x x))
Compiler

Compiled 46 to 33 computations (28.3% saved)

soundness119.0ms (3.5%)

Rules
1280×fma-def
934×fma-neg
880×times-frac
824×distribute-lft-in
794×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
12219
24519
37719
48119
02264204
15684096
215143844
372553844
Stop Event
1×node limit
1×saturated
Compiler

Compiled 30 to 20 computations (33.3% saved)

end47.0ms (1.4%)

Compiler

Compiled 124 to 82 computations (33.9% saved)

Profiling

Loading profile data...