Details

Time bar (total: 5.2s)

analyze90.0ms (1.7%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
28.6%25%62.4%0.1%12.5%0%0%6
32%25%53.1%0.1%21.9%0%0%7
41.7%31.2%43.7%0.1%25%0%0%8
54.3%39%32.8%0.1%28.1%0%0%9
62.9%42.9%25.4%0.1%31.6%0%0%10
72.5%47.2%18%0.1%34.7%0%0%11
78.4%49.4%13.6%0.1%37%0%0%12
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample1.1s (22%)

Results
1.0s8256×body256valid
103.0ms950×body256infinite
Bogosity

preprocess24.0ms (0.5%)

Algorithm
egg-herbie
Rules
48×fma-def_binary64
*-commutative_binary64
+-commutative_binary64
associate-+l+_binary64
associate-*l*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01434
13228
26224
310024
410224
022
122
Stop Event
unsound
saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
(+.f64 (+.f64 (*.f64 y y) (*.f64 (*.f64 y 2) x)) (*.f64 x x))
Outputs
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
(+.f64 (*.f64 x x) (fma.f64 y y (*.f64 x (*.f64 2 y))))
(fma.f64 x x (*.f64 y (+.f64 y (*.f64 x 2))))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(+.f64 (+.f64 (*.f64 y y) (*.f64 (*.f64 y 2) x)) (*.f64 x x))
(+.f64 (*.f64 x x) (fma.f64 y y (*.f64 x (*.f64 2 y))))
(fma.f64 x x (*.f64 y (+.f64 y (*.f64 x 2))))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
Symmetry

(sort x y)

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify10.0ms (0.2%)

Algorithm
egg-herbie
Rules
33×fma-def_binary64
*-commutative_binary64
+-commutative_binary64
associate-+r+_binary64
associate-+l+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01017
11914
24712
38112
48312
Stop Event
saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Outputs
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
(+.f64 (fma.f64 x x (*.f64 x (*.f64 2 y))) (*.f64 y y))
(fma.f64 y y (*.f64 x (+.f64 x (*.f64 2 y))))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))

eval1.0ms (0%)

Compiler

Compiled 24 to 13 computations (45.8% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
0.0b
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Compiler

Compiled 26 to 15 computations (42.3% saved)

localize15.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
0.0b
(+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y))
Compiler

Compiled 41 to 19 computations (53.7% saved)

series6.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

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

rewrite82.0ms (1.6%)

Algorithm
batch-egg-rewrite
Rules
667×fma-def_binary64
542×log-prod_binary64
437×pow-prod-down_binary64
292×fma-neg_binary64
288×pow2_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01028
122324
2318520
Stop Event
node limit
Counts
2 → 174
Calls
Call 1
Inputs
(+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y))
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 x (*.f64 2 y)))) (/.f64 (pow.f64 (*.f64 x (*.f64 2 y)) 2) (*.f64 x (-.f64 x (*.f64 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (fma.f64 2 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (cbrt.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (sqrt.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3)) (/.f64 1 (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2)) (/.f64 1 (*.f64 x (-.f64 x (*.f64 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 x (-.f64 x (*.f64 2 y))) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3)) (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3)) (+.f64 (pow.f64 (*.f64 x (*.f64 2 y)) 2) (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 3) (*.f64 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2)) (*.f64 x (-.f64 x (*.f64 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3))) (neg.f64 (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2))) (neg.f64 (*.f64 x (-.f64 x (*.f64 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 2 y)) 2) (pow.f64 x 4)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 x (-.f64 x (*.f64 2 y))) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 x) (*.f64 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) x) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 2 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 2 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 2 y)))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) (*.f64 2 y)) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 2 y)))) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 2 y x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 2 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (*.f64 x y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x x) y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (+.f64 x x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (*.f64 2 y)) 1 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (*.f64 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 4)) (*.f64 (cbrt.f64 (+.f64 x x)) y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (+.f64 x x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 2) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) 2) (cbrt.f64 (*.f64 x (*.f64 2 y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 x (sqrt.f64 x)) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (+.f64 x x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (*.f64 2 y))) (sqrt.f64 (*.f64 x (*.f64 2 y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 y) x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 x (*.f64 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 x x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y x) 2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 4))) (cbrt.f64 (+.f64 x x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (sqrt.f64 (+.f64 x x))) (sqrt.f64 (+.f64 x x)) (*.f64 x x))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))) (/.f64 (pow.f64 y 4) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) (pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 2) (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (/.f64 1 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (*.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4)) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))) (neg.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))) (neg.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (*.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2)) (-.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (exp.f64 (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (*.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 y)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (*.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 y)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))) (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)) (+.f64 1 (expm1.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))) (+.f64 1 (expm1.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 y y))) (pow.f64 (exp.f64 x) (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 y) y) (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 y y))) (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 y (fma.f64 x 2 y))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (*.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 y)) y) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 y (fma.f64 x 2 y))) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (*.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 y)) y) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 2 y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (+.f64 x (*.f64 2 y)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (fma.f64 2 y x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x x) y (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (+.f64 x x) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y y (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (*.f64 2 y)) 1 (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (fma.f64 2 y x)) 1 (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y y) 1 (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (*.f64 2 y)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 4)) (*.f64 (cbrt.f64 (+.f64 x x)) y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (+.f64 x x)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 y) y) (pow.f64 (cbrt.f64 y) 2) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 2 y)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 2) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) 2) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 2 y))) 2) (cbrt.f64 (*.f64 x (*.f64 2 y))) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 x x)) (*.f64 (sqrt.f64 (+.f64 x x)) y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 x (sqrt.f64 x)) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 x (sqrt.f64 x)) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 2 y)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 y) (*.f64 y (sqrt.f64 y)) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (+.f64 x x)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (*.f64 2 y))) (sqrt.f64 (*.f64 x (*.f64 2 y))) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (*.f64 2 y)) 3)) (/.f64 1 (fma.f64 (*.f64 x (*.f64 2 y)) (fma.f64 2 (*.f64 x y) (neg.f64 (*.f64 x x))) (pow.f64 x 4))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (*.f64 2 y)) 2)) (/.f64 1 (*.f64 x (-.f64 x (*.f64 2 y)))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 y) x (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (fma.f64 x 2 y))) 2) (cbrt.f64 (*.f64 y (fma.f64 x 2 y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y (fma.f64 x 2 y))) (sqrt.f64 (*.f64 y (fma.f64 x 2 y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y (fma.f64 x 2 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 x x) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 x x) (sqrt.f64 y)) (sqrt.f64 y) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y x) 2 (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 4))) (cbrt.f64 (+.f64 x x)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (sqrt.f64 (+.f64 x x))) (sqrt.f64 (+.f64 x x)) (fma.f64 x x (*.f64 y y)))))))

simplify192.0ms (3.7%)

Algorithm
egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
550×fabs-mul_binary64
539×cube-prod_binary64
375×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012525
132480
269399
3151393
4418393
51568393
62841393
73113393
83299393
93543393
103842393
114235393
124740393
135318393
146064393
156612393
166946393
177272393
187360393
197388393
Stop Event
node limit
Counts
222 → 184
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 x x (*.f64 y y)))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
0.0b
(*.f64 y (fma.f64 x 2 y))
Compiler

Compiled 24 to 12 computations (50% saved)

series5.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

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

rewrite63.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
654×pow1_binary64
600×add-log-exp_binary64
600×log1p-expm1-u_binary64
600×expm1-log1p-u_binary64
588×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
114020
2160520
Stop Event
node limit
Counts
2 → 34
Calls
Call 1
Inputs
(*.f64 y (fma.f64 x 2 y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x 2) y) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x 2)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 x 2 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 x 2 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 x 2 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 x 2 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 x 2 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 1) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))) (pow.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))) 2) (cbrt.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (*.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2)) (-.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))))))

simplify247.0ms (4.8%)

Algorithm
egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
552×fabs-mul_binary64
539×cube-prod_binary64
375×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012525
132498
269435
3151393
4418393
51565393
62837393
73109393
83296393
93540393
103839393
114234393
124743393
135321393
146061393
156611393
166947393
177271393
187359393
197391393
Stop Event
node limit
Counts
82 → 46
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 (*.f64 2 y) x)
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(fma.f64 2 (*.f64 y x) (+.f64 (*.f64 y y) (*.f64 x x)))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))

eval104.0ms (2%)

Compiler

Compiled 3674 to 1776 computations (51.7% saved)

prune40.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2219230
Fresh000
Picked101
Done101
Total2239232
Error
0b
Counts
232 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
27.5b
(*.f64 x x)
29.5b
(*.f64 y (fma.f64 2 x y))
29.5b
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
29.8b
(*.f64 y y)
0.0b
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
1.2b
(+.f64 (*.f64 x x) (*.f64 y y))
0.0b
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
27.4b
(fma.f64 x x (*.f64 y (*.f64 2 x)))
Compiler

Compiled 168 to 100 computations (40.5% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 x (fma.f64 2 y x))
Compiler

Compiled 24 to 12 computations (50% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite52.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
552×pow1_binary64
531×add-sqr-sqrt_binary64
507×add-log-exp_binary64
507×log1p-expm1-u_binary64
507×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11208
213648
Stop Event
node limit
Counts
1 → 13
Calls
Call 1
Inputs
(*.f64 x (fma.f64 2 y x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (fma.f64 2 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 2 y x))))))))

simplify206.0ms (4%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×fabs-mul_binary64
555×cube-prod_binary64
487×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
08231
119213
241177
379177
4170177
5476177
61590177
72828177
83175177
93398177
103620177
113938177
124358177
134847177
145421177
156115177
166969177
177366177
187656177
197936177
Stop Event
node limit
Counts
37 → 19
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize7.0ms (0.1%)

Compiler

Compiled 17 to 5 computations (70.6% saved)

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 x (+.f64 x (*.f64 2 y)))
0.0b
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
Compiler

Compiled 34 to 18 computations (47.1% saved)

series8.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

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

rewrite231.0ms (4.5%)

Algorithm
batch-egg-rewrite
Rules
549×fma-def_binary64
489×log-prod_binary64
376×pow-prod-down_binary64
264×pow2_binary64
242×fma-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0924
120320
2294220
Stop Event
node limit
Counts
2 → 128
Calls
Call 1
Inputs
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
(*.f64 x (+.f64 x (*.f64 2 y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))) (/.f64 (pow.f64 y 4) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) (pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 2) (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 y (sqrt.f64 (*.f64 x (fma.f64 2 y x)))) (hypot.f64 y (sqrt.f64 (*.f64 x (fma.f64 2 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (/.f64 1 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (*.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4)) (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))) (neg.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))) (neg.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 y (sqrt.f64 (*.f64 x (fma.f64 2 y x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (*.f64 y y) (-.f64 (*.f64 y y) (*.f64 x (fma.f64 2 y x))) (pow.f64 (*.f64 x (fma.f64 2 y x)) 2)) (+.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) (pow.f64 y 6))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (*.f64 x (fma.f64 2 y x)) (*.f64 y y)) (-.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) (pow.f64 y 4))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))) (exp.f64 (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)) (+.f64 1 (expm1.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))) (+.f64 1 (expm1.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 y y))) (pow.f64 (exp.f64 x) (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 y y)) (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 y y))) (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (hypot.f64 y (sqrt.f64 (*.f64 x (fma.f64 2 y x))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x (fma.f64 2 y x) (*.f64 y y))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (fma.f64 2 y x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y y (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 2 y x) x (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (fma.f64 2 y x)) 1 (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y y) 1 (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 y) y) (pow.f64 (cbrt.f64 y) 2) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 2 y x)) 2) (*.f64 (cbrt.f64 (fma.f64 2 y x)) x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 2) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 2) (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 2 y x)) (*.f64 (sqrt.f64 (fma.f64 2 y x)) x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 y) (pow.f64 y 3/2) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 2) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 y 3/2) (sqrt.f64 y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 y) 5) (cbrt.f64 y) (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (fma.f64 x (+.f64 y y) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (fma.f64 2 y x)) 2)) (cbrt.f64 (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 (fma.f64 2 y x))) (sqrt.f64 (fma.f64 2 y x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (fma.f64 2 y x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (fma.f64 2 y x) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 y y))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 1) (*.f64 (*.f64 x (+.f64 y y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 x (+.f64 y y)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 (*.f64 x (+.f64 y y)) 2) (*.f64 (*.f64 x x) (*.f64 x (+.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x (+.f64 y y)) 2)) (-.f64 (*.f64 x x) (*.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 8 (pow.f64 y 3) (pow.f64 x 3)) x) (fma.f64 (+.f64 y y) (-.f64 (+.f64 y y) x) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y y) 4)) x) (+.f64 x (*.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (fma.f64 8 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 (+.f64 y y) (-.f64 (+.f64 y y) x) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 (*.f64 y y) 4))) (+.f64 x (*.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (fma.f64 2 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 2 y x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (fma.f64 2 y x)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 2 y x))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 2 y x))) 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (+.f64 y y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (*.f64 y x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (*.f64 2 x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 y y) x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 (*.f64 x (+.f64 y y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 y y)) 2) (*.f64 (cbrt.f64 (+.f64 y y)) x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 y y)) (*.f64 (sqrt.f64 (+.f64 y y)) x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 2) (*.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 y y))) 2) (cbrt.f64 (*.f64 x (+.f64 y y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x (+.f64 y y))) (sqrt.f64 (*.f64 x (+.f64 y y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x 2) y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x y) 2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (+.f64 y y)) 2)) (cbrt.f64 (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 (+.f64 y y))) (sqrt.f64 (+.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 y y) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 y y) (sqrt.f64 x)) (sqrt.f64 x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x (+.f64 y y)))))))

simplify231.0ms (4.5%)

Algorithm
egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
553×fabs-mul_binary64
539×cube-prod_binary64
372×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012525
132480
269399
3151393
4418393
51562393
62826393
73098393
83284393
93528393
103831393
114224393
124729393
135307393
146055393
156607393
166943393
177263393
187349393
197379393
Stop Event
node limit
Counts
176 → 140
Calls
Call 1
Inputs
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
Outputs
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(*.f64 x (*.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(*.f64 x (*.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(*.f64 x (*.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))

localize18.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 x x (*.f64 y (*.f64 2 x)))
Compiler

Compiled 21 to 12 computations (42.9% saved)

series4.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite97.0ms (1.9%)

Algorithm
batch-egg-rewrite
Rules
657×pow1_binary64
603×add-log-exp_binary64
603×log1p-expm1-u_binary64
603×expm1-log1p-u_binary64
591×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0711
114110
2163510
Stop Event
node limit
Counts
1 → 22
Calls
Call 1
Inputs
(fma.f64 x x (*.f64 y (*.f64 2 x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y 2)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 x (*.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 1) (*.f64 x (*.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (+.f64 x (*.f64 y 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 x (*.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 x (*.f64 y 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (+.f64 x (*.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (+.f64 x (*.f64 y 2)))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x (*.f64 y 2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x (*.f64 y 2)))) 2) (cbrt.f64 (*.f64 x (+.f64 x (*.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 x (*.f64 y 2)))) (hypot.f64 x (sqrt.f64 (*.f64 x (*.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 x (*.f64 y 2)) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (pow.f64 (*.f64 x (*.f64 y 2)) 2) (*.f64 (*.f64 x x) (*.f64 x (*.f64 y 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (pow.f64 (*.f64 x (*.f64 y 2)) 2)) (-.f64 (*.f64 x x) (*.f64 x (*.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (+.f64 x (*.f64 y 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (+.f64 x (*.f64 y 2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (+.f64 x (*.f64 y 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 x (*.f64 y 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (+.f64 x (*.f64 y 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 x (+.f64 x (*.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (+.f64 x (*.f64 y 2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (+.f64 x (*.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (+.f64 x (*.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (+.f64 x (*.f64 y 2)))))))))

simplify277.0ms (5.3%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×fabs-mul_binary64
555×cube-prod_binary64
487×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
08231
119213
241177
379177
4170177
5476177
61590177
72828177
83175177
93398177
103620177
113938177
124358177
134847177
145421177
156115177
166969177
177366177
187656177
197936177
Stop Event
node limit
Counts
46 → 28
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))

eval113.0ms (2.2%)

Compiler

Compiled 2739 to 1296 computations (52.7% saved)

prune32.0ms (0.6%)

Pruning

10 alts after pruning (6 fresh and 4 done)

PrunedKeptTotal
New1834187
Fresh224
Picked011
Done134
Total18610196
Error
0b
Counts
196 → 10
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
27.5b
(*.f64 x x)
29.5b
(*.f64 y (fma.f64 2 x y))
0.0b
(fma.f64 y y (+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x)))
0.0b
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
1.2b
(+.f64 (*.f64 x x) (*.f64 y y))
29.8b
(*.f64 y y)
27.4b
(fma.f64 x x (*.f64 y (*.f64 2 x)))
29.5b
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
27.4b
(*.f64 x (+.f64 x (*.f64 y 2)))
Compiler

Compiled 155 to 94 computations (39.4% saved)

localize48.0ms (0.9%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x))
Compiler

Compiled 37 to 18 computations (51.4% saved)

series2.0ms (0%)

Counts
1 → 24
Calls

6 calls:

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

rewrite66.0ms (1.3%)

Algorithm
batch-egg-rewrite
Rules
890×pow1_binary64
828×add-log-exp_binary64
827×log1p-expm1-u_binary64
827×expm1-log1p-u_binary64
809×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0810
11748
223248
Stop Event
node limit
Counts
1 → 40
Calls
Call 1
Inputs
(+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (fma.f64 2 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (*.f64 x (-.f64 (*.f64 2 y) x))) (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 (*.f64 2 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (fma.f64 2 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 2) (cbrt.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) (sqrt.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 y x) 3)) (pow.f64 x 6)) (/.f64 1 (+.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (-.f64 (pow.f64 x 4) (*.f64 (*.f64 2 y) (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (pow.f64 x 4)) (/.f64 1 (*.f64 x (-.f64 (*.f64 2 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 2 y x) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (-.f64 (pow.f64 x 4) (*.f64 (*.f64 2 y) (pow.f64 x 3)))) (+.f64 (*.f64 8 (pow.f64 (*.f64 y x) 3)) (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 x (-.f64 (*.f64 2 y) x)) (-.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 y x) 3)) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (-.f64 (pow.f64 x 4) (*.f64 (*.f64 2 y) (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 y x) 3)) (pow.f64 x 6)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (*.f64 (*.f64 2 y) (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 2 y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 8 (pow.f64 (*.f64 y x) 3)) (pow.f64 x 6))) (neg.f64 (+.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (-.f64 (pow.f64 x 4) (*.f64 (*.f64 2 y) (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 2 (*.f64 y x)) 2) (pow.f64 x 4))) (neg.f64 (*.f64 x (-.f64 (*.f64 2 y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 2 (*.f64 y x)) 2)) (-.f64 (*.f64 x x) (*.f64 2 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 2 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 2 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 2 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (fma.f64 2 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 2 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 2 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (*.f64 y x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 y) x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 2 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 2 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 2 (*.f64 y x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 2 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 y x))) 2) (cbrt.f64 (*.f64 2 (*.f64 y x))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (*.f64 2 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 2 (*.f64 y x))) (sqrt.f64 (*.f64 2 (*.f64 y x))) (*.f64 x x))))))

simplify168.0ms (3.2%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×cube-prod_binary64
549×fabs-mul_binary64
488×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
08231
119213
241177
379177
4170177
5485177
61619177
72847177
83194177
93416177
103638177
113954177
124374177
134863177
145437177
156127177
166979177
177370177
187660177
197942177
Stop Event
node limit
Counts
64 → 45
Calls
Call 1
Inputs
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 2 (*.f64 x y))
(*.f64 y (*.f64 x 2))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 2 (*.f64 x y))
(*.f64 y (*.f64 x 2))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 2 (*.f64 x y))
(*.f64 y (*.f64 x 2))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize16.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 x (+.f64 x (*.f64 y 2)))
Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite74.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
818×pow1_binary64
764×add-log-exp_binary64
763×log1p-expm1-u_binary64
763×expm1-log1p-u_binary64
748×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
11538
220928
Stop Event
node limit
Counts
1 → 23
Calls
Call 1
Inputs
(*.f64 x (+.f64 x (*.f64 y 2)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 (*.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 1) (*.f64 (*.f64 (*.f64 x y) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (fma.f64 y 2 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 (*.f64 x y) 2) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 (*.f64 (*.f64 x y) 2) (*.f64 (*.f64 x y) 2)) (*.f64 (*.f64 x x) (*.f64 (*.f64 x y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 (*.f64 x y) 2) (*.f64 (*.f64 x y) 2))) (-.f64 (*.f64 x x) (*.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 y 3) 8)) x) (fma.f64 x x (*.f64 (*.f64 y 2) (-.f64 (*.f64 y 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y y) 4)) x) (+.f64 x (*.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 y 3) 8))) (fma.f64 x x (*.f64 (*.f64 y 2) (-.f64 (*.f64 y 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 (*.f64 y y) 4))) (+.f64 x (*.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (fma.f64 y 2 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (fma.f64 y 2 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (fma.f64 y 2 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (fma.f64 y 2 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (fma.f64 y 2 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 y 2 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (fma.f64 y 2 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (fma.f64 y 2 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 y 2 x) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (fma.f64 y 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (fma.f64 y 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (fma.f64 y 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 (*.f64 x y) 2))))))

simplify186.0ms (3.6%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×fabs-mul_binary64
555×cube-prod_binary64
487×associate-*l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
08231
119213
241177
379177
4170177
5476177
61590177
72828177
83175177
93398177
103620177
113938177
124358177
134847177
145421177
156115177
166969177
177366177
187656177
197936177
Stop Event
node limit
Counts
47 → 29
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 2 y) x))
(*.f64 x (fma.f64 2 y x))

localize21.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
Compiler

Compiled 25 to 13 computations (48% saved)

series4.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite73.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
888×pow1_binary64
826×add-log-exp_binary64
825×log1p-expm1-u_binary64
825×expm1-log1p-u_binary64
808×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0810
11748
223188
Stop Event
node limit
Counts
1 → 40
Calls
Call 1
Inputs
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 2 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (*.f64 y (-.f64 (*.f64 2 x) y))) (/.f64 (pow.f64 y 4) (*.f64 y (-.f64 (*.f64 2 x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (fma.f64 2 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (fma.f64 2 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 y (fma.f64 2 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y (fma.f64 2 x y))) (pow.f64 (cbrt.f64 (*.f64 y (fma.f64 2 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 y (fma.f64 2 x y))) 2) (cbrt.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (fma.f64 2 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 y (fma.f64 2 x y))) (sqrt.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (fma.f64 2 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 3) (pow.f64 y 6)) (/.f64 1 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (-.f64 (pow.f64 y 4) (*.f64 (*.f64 2 x) (pow.f64 y 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (pow.f64 y 4)) (/.f64 1 (*.f64 y (-.f64 (*.f64 2 x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 2 x y) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (-.f64 (pow.f64 y 4) (*.f64 (*.f64 2 x) (pow.f64 y 3)))) (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 3) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 y (-.f64 (*.f64 2 x) y)) (-.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (-.f64 (pow.f64 y 4) (*.f64 (*.f64 2 x) (pow.f64 y 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (-.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (*.f64 (*.f64 2 x) (pow.f64 y 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (pow.f64 y 4)) (*.f64 y (-.f64 (*.f64 2 x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 3) (pow.f64 y 6))) (neg.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (-.f64 (pow.f64 y 4) (*.f64 (*.f64 2 x) (pow.f64 y 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 2 x)) 2) (pow.f64 y 4))) (neg.f64 (*.f64 y (-.f64 (*.f64 2 x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 y (*.f64 2 x)) 2)) (-.f64 (*.f64 y y) (*.f64 y (*.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 2 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 2 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 2 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (fma.f64 2 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y y (*.f64 y (*.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (*.f64 2 x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 x) y (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y (*.f64 2 x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y y) (*.f64 y (*.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 2 x))) 2) (cbrt.f64 (*.f64 y (*.f64 2 x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 y 4)) (pow.f64 (cbrt.f64 y) 2) (*.f64 y (*.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y (*.f64 2 x))) (sqrt.f64 (*.f64 y (*.f64 2 x))) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y 2) x (*.f64 y y))))))

simplify165.0ms (3.2%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×cube-prod_binary64
550×fabs-mul_binary64
473×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4167177
5467177
61572177
72818177
83173177
93395177
103617177
113935177
124357177
134870177
145442177
156136177
166986177
177379177
187667177
197947177
Stop Event
node limit
Counts
64 → 45
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 y (fma.f64 2 x y))
Compiler

Compiled 15 to 8 computations (46.7% saved)

series4.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
2.0ms
y
@0
(*.f64 y (fma.f64 2 x y))
0.0ms
y
@-inf
(*.f64 y (fma.f64 2 x y))
0.0ms
x
@inf
(*.f64 y (fma.f64 2 x y))
0.0ms
y
@inf
(*.f64 y (fma.f64 2 x y))
0.0ms
x
@0
(*.f64 y (fma.f64 2 x y))

rewrite51.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
552×pow1_binary64
531×add-sqr-sqrt_binary64
507×add-log-exp_binary64
507×log1p-expm1-u_binary64
507×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11208
213648
Stop Event
node limit
Counts
1 → 13
Calls
Call 1
Inputs
(*.f64 y (fma.f64 2 x y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 2 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 2 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 2 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 2 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (fma.f64 2 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 2 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 2 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 2 x y))))))))

simplify164.0ms (3.2%)

Algorithm
egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×cube-prod_binary64
550×fabs-mul_binary64
473×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4167177
5467177
61572177
72818177
83173177
93395177
103617177
113935177
124357177
134870177
145442177
156136177
166986177
177379177
187667177
197947177
Stop Event
node limit
Counts
37 → 19
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))

eval41.0ms (0.8%)

Compiler

Compiled 1846 to 1089 computations (41% saved)

prune24.0ms (0.5%)

Pruning

10 alts after pruning (1 fresh and 9 done)

PrunedKeptTotal
New1380138
Fresh011
Picked011
Done088
Total13810148
Error
0b
Counts
148 → 10
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
27.5b
(*.f64 x x)
29.5b
(*.f64 y (fma.f64 2 x y))
0.0b
(fma.f64 y y (+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x)))
0.0b
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
1.2b
(+.f64 (*.f64 x x) (*.f64 y y))
29.8b
(*.f64 y y)
27.4b
(fma.f64 x x (*.f64 y (*.f64 2 x)))
29.5b
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
27.4b
(*.f64 x (+.f64 x (*.f64 y 2)))
Compiler

Compiled 96 to 58 computations (39.6% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
0.0b
(*.f64 y (fma.f64 x 2 y))
Compiler

Compiled 28 to 13 computations (53.6% saved)

series2.0ms (0%)

Counts
1 → 24
Calls

6 calls:

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

rewrite62.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
866×pow1_binary64
805×add-log-exp_binary64
804×log1p-expm1-u_binary64
804×expm1-log1p-u_binary64
787×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
117112
2222812
Stop Event
node limit
Counts
1 → 35
Calls
Call 1
Inputs
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))) (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))) 2) (cbrt.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) (pow.f64 x 6)) (/.f64 1 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (-.f64 (pow.f64 x 4) (*.f64 y (*.f64 (fma.f64 x 2 y) (*.f64 x x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (pow.f64 x 4)) (/.f64 1 (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (-.f64 (pow.f64 x 4) (*.f64 y (*.f64 (fma.f64 x 2 y) (*.f64 x x))))) (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x)) (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) (pow.f64 x 6)) (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (-.f64 (pow.f64 x 4) (*.f64 y (*.f64 (fma.f64 x 2 y) (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) (pow.f64 x 6)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (*.f64 y (*.f64 (fma.f64 x 2 y) (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (pow.f64 x 4)) (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 3) (pow.f64 x 6))) (neg.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (-.f64 (pow.f64 x 4) (*.f64 y (*.f64 (fma.f64 x 2 y) (*.f64 x x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2) (pow.f64 x 4))) (neg.f64 (-.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (fma.f64 x 2 y)) 2)) (-.f64 (*.f64 x x) (*.f64 y (fma.f64 x 2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (fma.f64 x 2 y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (fma.f64 x 2 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x 2 y) y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (fma.f64 x 2 y))) 2) (cbrt.f64 (*.f64 y (fma.f64 x 2 y))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 y (fma.f64 x 2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y (fma.f64 x 2 y))) (sqrt.f64 (*.f64 y (fma.f64 x 2 y))) (*.f64 x x))))))

simplify179.0ms (3.5%)

Algorithm
egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
550×fabs-mul_binary64
539×cube-prod_binary64
373×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012294
132267
269222
3151216
4418216
51558216
62835216
73107216
83293216
93537216
103838216
114229216
124738216
135314216
146058216
156608216
166942216
177266216
187352216
197384216
Stop Event
node limit
Counts
59 → 44
Calls
Call 1
Inputs
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 x y) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 x 2) y))
(*.f64 y (fma.f64 x 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 x y) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 x 2) y))
(*.f64 y (fma.f64 x 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 x y) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 x 2) y))
(*.f64 y (fma.f64 x 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 x y) (*.f64 x x))
(*.f64 x (+.f64 x (*.f64 2 y)))
(*.f64 x (fma.f64 2 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 x y) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 x y) (fma.f64 x x (*.f64 y y)))
(fma.f64 x (fma.f64 2 y x) (*.f64 y y))
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(fma.f64 y (fma.f64 x 2 y) (*.f64 x x))

eval21.0ms (0.4%)

Compiler

Compiled 936 to 498 computations (46.8% saved)

prune13.0ms (0.3%)

Pruning

10 alts after pruning (0 fresh and 10 done)

PrunedKeptTotal
New63063
Fresh000
Picked011
Done099
Total631073
Error
0b
Counts
73 → 10
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 y (fma.f64 x 2 y)) (*.f64 x x))
27.5b
(*.f64 x x)
29.5b
(*.f64 y (fma.f64 2 x y))
0.0b
(fma.f64 y y (+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x)))
0.0b
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
1.2b
(+.f64 (*.f64 x x) (*.f64 y y))
29.8b
(*.f64 y y)
27.4b
(fma.f64 x x (*.f64 y (*.f64 2 x)))
29.5b
(+.f64 (*.f64 y (*.f64 2 x)) (*.f64 y y))
27.4b
(*.f64 x (+.f64 x (*.f64 y 2)))
Compiler

Compiled 96 to 58 computations (39.6% saved)

regimes29.0ms (0.6%)

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

3 calls:

8.0ms
x
8.0ms
y
8.0ms
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Compiler

Compiled 139 to 63 computations (54.7% saved)

regimes27.0ms (0.5%)

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

3 calls:

8.0ms
y
8.0ms
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
7.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Compiler

Compiled 121 to 55 computations (54.5% saved)

regimes25.0ms (0.5%)

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

3 calls:

8.0ms
y
7.0ms
x
6.0ms
(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(+.f64 (+.f64 (*.f64 x x) (*.f64 (*.f64 x 2) y)) (*.f64 y y))
Compiler

Compiled 109 to 50 computations (54.1% saved)

regimes12.0ms (0.2%)

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

2 calls:

5.0ms
y
5.0ms
x
Results
ErrorSegmentsBranch
1.2b1x
1.2b1y
Compiler

Compiled 40 to 17 computations (57.5% saved)

regimes17.0ms (0.3%)

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

2 calls:

8.0ms
y
7.0ms
x
Results
ErrorSegmentsBranch
8.1b2x
7.0b2y
Compiler

Compiled 24 to 12 computations (50% saved)

bsearch19.0ms (0.4%)

Algorithm
binary-search
Steps
TimeLeftRight
19.0ms
7.693796045868536e-121
1.3744253684785645e-120
Compiler

Compiled 20 to 13 computations (35% saved)

regimes16.0ms (0.3%)

Accuracy

Total -49.0b remaining (-683.9%)

Threshold costs -49.0b (-683.9%)

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

2 calls:

8.0ms
y
7.0ms
x
Results
ErrorSegmentsBranch
8.1b2x
7.2b2y
Compiler

Compiled 17 to 8 computations (52.9% saved)

bsearch21.0ms (0.4%)

Algorithm
binary-search
Steps
TimeLeftRight
21.0ms
7.693796045868536e-121
1.3744253684785645e-120
Compiler

Compiled 20 to 13 computations (35% saved)

simplify8.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02593
13493
Stop Event
done
saturated
Calls
Call 1
Inputs
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(fma.f64 y y (+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x)))
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
(+.f64 (*.f64 x x) (*.f64 y y))
(if (<=.f64 y 4473719122375737/5814709794364855124394590463104036274829130885498544482251921593445114304907183386609528405710108524486100172850129423468276813028917248) (*.f64 x (+.f64 x (*.f64 y 2))) (*.f64 y y))
(if (<=.f64 y 4473719122375737/5814709794364855124394590463104036274829130885498544482251921593445114304907183386609528405710108524486100172850129423468276813028917248) (*.f64 x x) (*.f64 y y))
(*.f64 y y)
Outputs
(fma.f64 y y (*.f64 x (fma.f64 2 y x)))
(fma.f64 y y (+.f64 (*.f64 (*.f64 2 y) x) (*.f64 x x)))
(fma.f64 y y (+.f64 (*.f64 x (*.f64 y 2)) (*.f64 x x)))
(+.f64 (*.f64 x (+.f64 x (*.f64 2 y))) (*.f64 y y))
(+.f64 (*.f64 x (+.f64 x (*.f64 y 2))) (*.f64 y y))
(+.f64 (*.f64 x x) (*.f64 y y))
(if (<=.f64 y 4473719122375737/5814709794364855124394590463104036274829130885498544482251921593445114304907183386609528405710108524486100172850129423468276813028917248) (*.f64 x (+.f64 x (*.f64 y 2))) (*.f64 y y))
(if (<=.f64 y 4473719122375737/5814709794364855124394590463104036274829130885498544482251921593445114304907183386609528405710108524486100172850129423468276813028917248) (*.f64 x x) (*.f64 y y))
(*.f64 y y)
Compiler

Compiled 80 to 47 computations (41.3% saved)

soundness199.0ms (3.8%)

Algorithm
egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
550×fabs-mul_binary64
539×cube-prod_binary64
375×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012525
132480
269399
3151393
4418393
51568393
62841393
73113393
83299393
93543393
103842393
114235393
124740393
135318393
146064393
156612393
166946393
177272393
187360393
197388393
Stop Event
node limit
Compiler

Compiled 140 to 92 computations (34.3% saved)

end59.0ms (1.1%)

Compiler

Compiled 90 to 41 computations (54.4% saved)

Profiling

Loading profile data...