Details

Time bar (total: 1.2s)

analyze53.0ms (4.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
62.4%31.2%6.3%6
65.6%21.9%12.6%7
67.1%17.2%15.7%8
70.2%10.9%18.8%9
71%8.6%20.4%10
72.6%5.5%22%11
73%4.3%22.7%12
73.8%2.7%23.5%13
74%2.1%23.9%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample764.0ms (64.9%)

Results
739.0ms8256×body128valid
10.0ms120×body128invalid
Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess37.0ms (3.2%)

Algorithm
2×egg-herbie
Rules
538×associate-*l*_binary64
466×associate-/r/_binary64
454×times-frac_binary64
384×associate-*r*_binary64
268×sqr-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
12218
23918
36818
413818
532418
688318
7279218
8439118
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 (*.f64 y x) x))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(pow.f64 (exp.f64 (*.f64 x y)) y)
(pow.f64 (pow.f64 (exp.f64 y) x) y)
(pow.f64 (pow.f64 (exp.f64 x) y) y)
(pow.f64 (exp.f64 y) (*.f64 x y))
(exp.f64 (*.f64 (*.f64 y x) x))
(pow.f64 (exp.f64 (*.f64 x y)) x)
(pow.f64 (pow.f64 (exp.f64 y) x) x)
(pow.f64 (pow.f64 (exp.f64 x) y) x)
(pow.f64 (exp.f64 x) (*.f64 x y))
Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify28.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
664×unswap-sqr_binary64
432×associate-/l*_binary64
304×associate-*l*_binary64
293×associate-/r/_binary64
260×associate-*r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
1129
2239
3419
4859
52049
65589
717039
847139
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(pow.f64 (exp.f64 (*.f64 x y)) y)
(pow.f64 (pow.f64 (exp.f64 x) y) y)
(exp.f64 (*.f64 y (*.f64 x y)))

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
Compiler

Compiled 30 to 17 computations (43.3% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
✓0.1b
(*.f64 (*.f64 x y) y)

series6.0ms (0.5%)

Counts
2 → 48
Calls

12 calls:

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

rewrite37.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
544×pow1_binary64
497×add-log-exp_binary64
497×log1p-expm1-u_binary64
497×expm1-log1p-u_binary64
485×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0616
111616
2138416
Stop Event
1×node limit
Counts
2 → 40
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(exp.f64 (*.f64 (*.f64 x y) y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 2))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 x) y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 x y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 y y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (exp.f64 y) (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (exp.f64 y) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 2)) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))) (sqrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 y) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) x) y)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 (exp.f64 y) (*.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 2)) (cbrt.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (*.f64 (sqrt.f64 x) y)) (*.f64 (sqrt.f64 x) y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (exp.f64 y) x) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (exp.f64 y) x) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (exp.f64 y) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) (*.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (exp.f64 y) (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 y) (*.f64 x y))))))))

simplify40.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
903×fma-def_binary64
814×associate-/l/_binary64
324×*-commutative_binary64
282×sqr-pow_binary64
189×unswap-sqr_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
026452
170448
2192440
3780428
42042422
52648422
63675422
Stop Event
1×node limit
Counts
88 → 51
Calls
Call 1
Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
Outputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (*.f64 y y) x) 1)
(fma.f64 (*.f64 y y) x 1)
(fma.f64 y (*.f64 y x) 1)
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))))))
(fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) 1)
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4)))))))
(fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1)))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) (fma.f64 (pow.f64 y 6) (*.f64 1/6 (pow.f64 x 3)) 1))
(fma.f64 x (fma.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))) (*.f64 y y)) 1)
(fma.f64 x (fma.f64 y y (*.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))))) 1)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (*.f64 y y) x) 1)
(fma.f64 (*.f64 y y) x 1)
(fma.f64 y (*.f64 y x) 1)
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))))))
(fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) 1)
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4)))))))
(fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1)))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) (fma.f64 (pow.f64 y 6) (*.f64 1/6 (pow.f64 x 3)) 1))
(fma.f64 x (fma.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))) (*.f64 y y)) 1)
(fma.f64 x (fma.f64 y y (*.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))))) 1)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)

prune22.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New50151
Fresh000
Picked011
Done000
Total50252
Error
0.0b
Counts
52 → 2
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
Compiler

Compiled 542 to 232 computations (57.2% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))
✓10.1b
(*.f64 x (*.f64 y y))

series5.0ms (0.4%)

Counts
2 → 48
Calls

12 calls:

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

rewrite43.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
753×pow1_binary64
697×log1p-expm1-u_binary64
697×expm1-log1p-u_binary64
80×add-sqr-sqrt_binary64
77×*-un-lft-identity_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
116116
2198816
Stop Event
1×node limit
Counts
2 → 58
Calls
Call 1
Inputs
(*.f64 x (*.f64 y y))
(+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (-.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2))) (log.f64 (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3))) (log.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (expm1.f64 (*.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (*.f64 y y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (exp.f64 x) (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))) (/.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (exp.f64 x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) 2) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3)) (/.f64 1 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (expm1.f64 (*.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2)) (/.f64 1 (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (expm1.f64 (*.f64 x (*.f64 y y))))) (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))) (-.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3)) (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3)) (+.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2)) (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 3))) (neg.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) (expm1.f64 (*.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 1 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2))) (neg.f64 (-.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 2) 1) (-.f64 (expm1.f64 (*.f64 x (*.f64 y y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 x x) (pow.f64 y 4)))) (cbrt.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (*.f64 x y)) y)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (expm1.f64 (*.f64 x (*.f64 y y)))) 2) (cbrt.f64 (expm1.f64 (*.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (expm1.f64 (*.f64 x (*.f64 y y)))) (sqrt.f64 (expm1.f64 (*.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 x (*.f64 y y)))))))

simplify43.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
903×fma-def_binary64
814×associate-/l/_binary64
324×*-commutative_binary64
282×sqr-pow_binary64
189×unswap-sqr_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
026452
170448
2192440
3780428
42042422
52648422
63675422
Stop Event
1×node limit
Counts
106 → 68
Calls
Call 1
Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
Outputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
(*.f64 (pow.f64 y 2) x)
(*.f64 (*.f64 y y) x)
(*.f64 y (*.f64 y x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (*.f64 y y) x) 1)
(fma.f64 (*.f64 y y) x 1)
(fma.f64 y (*.f64 y x) 1)
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))))))
(fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) 1)
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4)))))))
(fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1)))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) (fma.f64 (pow.f64 y 6) (*.f64 1/6 (pow.f64 x 3)) 1))
(fma.f64 x (fma.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))) (*.f64 y y)) 1)
(fma.f64 x (fma.f64 y y (*.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))))) 1)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (*.f64 y y) x) 1)
(fma.f64 (*.f64 y y) x 1)
(fma.f64 y (*.f64 y x) 1)
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x)))))
(+.f64 1 (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))))))
(fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) 1)
(+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 (pow.f64 y 4) (*.f64 x x))))))
(+.f64 1 (fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 (*.f64 y y) x (*.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4)))))))
(fma.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) (fma.f64 1/2 (*.f64 x (*.f64 x (pow.f64 y 4))) (fma.f64 y (*.f64 y x) 1)))
(fma.f64 x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) (*.f64 y y)) (fma.f64 (pow.f64 y 6) (*.f64 1/6 (pow.f64 x 3)) 1))
(fma.f64 x (fma.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))) (*.f64 y y)) 1)
(fma.f64 x (fma.f64 y y (*.f64 x (fma.f64 x (*.f64 1/6 (pow.f64 y 6)) (*.f64 1/2 (pow.f64 y 4))))) 1)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)
(exp.f64 (*.f64 (pow.f64 y 2) x))
(pow.f64 (exp.f64 (*.f64 y y)) x)
(pow.f64 (pow.f64 (exp.f64 y) y) x)

prune35.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New68068
Fresh000
Picked011
Done011
Total68270
Error
0.0b
Counts
70 → 2
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
Compiler

Compiled 952 to 410 computations (56.9% saved)

regimes15.0ms (1.3%)

Accuracy

Total 0.0b remaining (4.6%)

Threshold costs 0.0b (4.6%)

Counts
3 → 1
Compiler

Compiled 38 to 24 computations (36.8% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
189
Stop Event
1×saturated
Calls
Call 1
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 y (*.f64 x y)))

end38.0ms (3.2%)

Stop Event
1×done
Compiler

Compiled 34 to 22 computations (35.3% saved)

Profiling

Loading profile data...