Details

Time bar (total: 6.1s)

analyze184.0ms (3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
9.4%65.5%25.1%6
14%60.8%25.1%7
14%56.2%29.8%8
14%36.7%49.3%9
14.8%30.4%54.8%10
15.5%28.3%56.2%11
16.4%18.3%65.2%12
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.1s (50.7%)

Results
1.9s8256×body256valid
1.1s5429×body256invalid

preprocess114.0ms (1.9%)

Algorithm
2×egg-herbie
Rules
818×unswap-sqr_binary64
576×times-frac_binary64
387×associate-*l*_binary64
364×associate-*r*_binary64
352×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02256
15548
213348
329948
454048
5122648
6500448
033
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 (+.f64 y (*.f64 x (log.f64 x))) z))
(exp.f64 (-.f64 (+.f64 z (*.f64 y (log.f64 y))) x))
(exp.f64 (-.f64 (+.f64 x (*.f64 z (log.f64 z))) y))
Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 y (*.f64 x (log.f64 x))) z))
(exp.f64 (-.f64 (fma.f64 x (log.f64 x) y) z))
(*.f64 (pow.f64 x x) (exp.f64 (-.f64 y z)))
(exp.f64 (-.f64 (+.f64 z (*.f64 y (log.f64 y))) x))
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 y)) z) x))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) z) x))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 z (log.f64 z))) y))
(exp.f64 (-.f64 (fma.f64 z (log.f64 z) x) y))
(*.f64 (pow.f64 z z) (exp.f64 (-.f64 x y)))
(/.f64 (pow.f64 z z) (exp.f64 (-.f64 y x)))
Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify90.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
508×unswap-sqr_binary64
478×associate-/l/_binary64
408×associate-/r/_binary64
362×fma-neg_binary64
337×fma-def_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0914
11812
24112
38912
415712
531312
696812
7256012
8527812
9597612
10742512
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))

eval1.0ms (0%)

Compiler

Compiled 20 to 12 computations (40% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶20.5b
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
▶0b
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
Compiler

Compiled 23 to 15 computations (34.8% saved)

localize27.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 y (log.f64 y)))
✓0.3b
(*.f64 y (log.f64 y))
Compiler

Compiled 35 to 8 computations (77.1% saved)

series156.0ms (2.6%)

Counts
2 → 32
Calls

9 calls:

TimeVariablePointExpression
90.0ms
y
@0
(*.f64 y (log.f64 y))
42.0ms
y
@-inf
(*.f64 y (log.f64 y))
12.0ms
y
@inf
(*.f64 y (log.f64 y))
10.0ms
x
@0
(+.f64 x (*.f64 y (log.f64 y)))
1.0ms
x
@inf
(+.f64 x (*.f64 y (log.f64 y)))

rewrite81.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
694×pow1_binary64
644×add-log-exp_binary64
644×log1p-expm1-u_binary64
644×expm1-log1p-u_binary64
630×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify149.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
995×fma-neg_binary64
871×fma-def_binary64
671×associate--r-_binary64
504×distribute-rgt-in_binary64
476×associate--l-_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
020239
143239
277195
3178195
4348195
5794195
62712195
74273195
85322195
95594195
105730195
115914195
Stop Event
1×node limit
Counts
78 → 54
Calls
Call 1
Inputs
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(*.f64 y (log.f64 y))
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
Outputs
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(*.f64 y (log.f64 y))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
x
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 y (log.f64 y)) x)
(fma.f64 y (log.f64 y) x)
(*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 -1 (*.f64 y (log.f64 (/.f64 1 y)))) x)
(fma.f64 y (log.f64 y) x)
(*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y)
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 (neg.f64 (log.f64 y)) (neg.f64 y))
(*.f64 y (log.f64 y))
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
(fma.f64 y (log.f64 y) x)
(+.f64 (*.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -1)) y) x)
(fma.f64 y (log.f64 y) x)

localize21.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
Compiler

Compiled 24 to 7 computations (70.8% saved)

series48.0ms (0.8%)

Counts
1 → 20
Calls

9 calls:

TimeVariablePointExpression
19.0ms
z
@inf
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
10.0ms
x
@inf
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
10.0ms
x
@0
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
2.0ms
z
@0
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
2.0ms
y
@0
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))

rewrite76.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
487×prod-diff_binary64
458×log-prod_binary64
273×pow-prod-down_binary64
248×pow2_binary64
198×pow-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify67.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
483×fma-def_binary64
452×associate-*l*_binary64
449×associate-*r*_binary64
315×unsub-neg_binary64
276×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
089606
1292560
21083458
36624456
Stop Event
1×node limit
Counts
65 → 71
Calls
Call 1
Inputs
(/.f64 1 (exp.f64 (-.f64 z x)))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 (-.f64 z x)))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x)))))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 (-.f64 z x)))) (+.f64 (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))) (*.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 (-.f64 z x)))))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))) (pow.f64 z 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))) (pow.f64 z 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (+.f64 (*.f64 -1 (*.f64 (pow.f64 z 3) (+.f64 (*.f64 -1 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 z))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)) (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z)))) (pow.f64 x 2)))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (*.f64 -1/6 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z))))) (pow.f64 x 3))) (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)) (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z)))) (pow.f64 x 2))))))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
Outputs
(/.f64 1 (exp.f64 (-.f64 z x)))
(exp.f64 (neg.f64 (-.f64 z x)))
(exp.f64 (-.f64 x z))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))))
(+.f64 (exp.f64 (neg.f64 (-.f64 z x))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))))
(fma.f64 (/.f64 y (exp.f64 (-.f64 z x))) (log.f64 y) (exp.f64 (-.f64 x z)))
(fma.f64 (*.f64 y (exp.f64 (-.f64 x z))) (log.f64 y) (exp.f64 (-.f64 x z)))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 (-.f64 z x)))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x)))))
(+.f64 (exp.f64 (neg.f64 (-.f64 z x))) (fma.f64 1/2 (/.f64 (*.f64 y y) (/.f64 (exp.f64 (-.f64 z x)) (pow.f64 (log.f64 y) 2))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x)))))
(+.f64 (exp.f64 (neg.f64 (-.f64 z x))) (fma.f64 1/2 (*.f64 (/.f64 (*.f64 y y) (exp.f64 (-.f64 z x))) (pow.f64 (log.f64 y) 2)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x)))))
(fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (/.f64 (*.f64 y y) (exp.f64 (-.f64 z x)))) (fma.f64 (/.f64 y (exp.f64 (-.f64 z x))) (log.f64 y) (exp.f64 (-.f64 x z))))
(fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (*.f64 y y) (exp.f64 (-.f64 x z)))) (fma.f64 (*.f64 y (exp.f64 (-.f64 x z))) (log.f64 y) (exp.f64 (-.f64 x z))))
(+.f64 (/.f64 1 (exp.f64 (-.f64 z x))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 (-.f64 z x)))) (+.f64 (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))) (*.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 (-.f64 z x)))))))
(+.f64 (exp.f64 (neg.f64 (-.f64 z x))) (+.f64 (fma.f64 1/2 (/.f64 (*.f64 y y) (/.f64 (exp.f64 (-.f64 z x)) (pow.f64 (log.f64 y) 2))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x)))) (*.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 (-.f64 z x))))))
(+.f64 (exp.f64 (neg.f64 (-.f64 z x))) (fma.f64 1/2 (*.f64 (/.f64 (*.f64 y y) (exp.f64 (-.f64 z x))) (pow.f64 (log.f64 y) 2)) (fma.f64 1/6 (*.f64 (/.f64 (pow.f64 y 3) (exp.f64 (-.f64 z x))) (pow.f64 (log.f64 y) 3)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 (-.f64 z x))))))
(+.f64 (fma.f64 (/.f64 y (exp.f64 (-.f64 z x))) (log.f64 y) (exp.f64 (-.f64 x z))) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (/.f64 (*.f64 y y) (exp.f64 (-.f64 z x)))) (/.f64 1/6 (/.f64 (/.f64 (exp.f64 (-.f64 z x)) (pow.f64 (log.f64 y) 3)) (pow.f64 y 3)))))
(+.f64 (fma.f64 (*.f64 y (exp.f64 (-.f64 x z))) (log.f64 y) (exp.f64 (-.f64 x z))) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (*.f64 y y) (exp.f64 (-.f64 x z)))) (*.f64 (*.f64 (pow.f64 y 3) (*.f64 1/6 (pow.f64 (log.f64 y) 3))) (exp.f64 (-.f64 x z)))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))
(*.f64 (pow.f64 y y) (exp.f64 x))
(+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))
(fma.f64 -1 (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))
(-.f64 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))) (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x))))
(*.f64 (exp.f64 x) (-.f64 (pow.f64 y y) (*.f64 z (pow.f64 y y))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))) (pow.f64 z 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))
(fma.f64 -1 (*.f64 (/.f64 (*.f64 -1/2 (pow.f64 y y)) (exp.f64 (neg.f64 x))) (*.f64 z z)) (fma.f64 -1 (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))
(fma.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 z z) (-.f64 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))) (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x)))))
(-.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (*.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (*.f64 (*.f64 z z) -1/2) z)))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))) (pow.f64 z 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 y y) z) (exp.f64 (neg.f64 x)))) (+.f64 (*.f64 -1 (*.f64 (pow.f64 z 3) (+.f64 (*.f64 -1 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 -1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))))))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))))
(fma.f64 -1 (*.f64 (/.f64 (*.f64 -1/2 (pow.f64 y y)) (exp.f64 (neg.f64 x))) (*.f64 z z)) (fma.f64 -1 (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x))) (fma.f64 -1 (*.f64 (pow.f64 z 3) (fma.f64 -1 (/.f64 (*.f64 -1/2 (pow.f64 y y)) (exp.f64 (neg.f64 x))) (*.f64 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))) -1/3))) (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))))
(fma.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x)))) (*.f64 z z) (-.f64 (-.f64 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))) (*.f64 (pow.f64 z 3) (fma.f64 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))) -1/3 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 (neg.f64 x))))))) (/.f64 (*.f64 z (pow.f64 y y)) (exp.f64 (neg.f64 x)))))
(-.f64 (-.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (*.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (pow.f64 y y)) (exp.f64 x)))) (*.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (*.f64 (*.f64 z z) -1/2) z)))
(-.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (*.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (*.f64 (*.f64 z z) -1/2) z)) (*.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (pow.f64 y y)) (exp.f64 x)))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (+.f64 (*.f64 -1 z) x))))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 z))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (/.f64 (pow.f64 y y) (/.f64 (exp.f64 z) x)))
(fma.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) x (/.f64 (pow.f64 y y) (exp.f64 z)))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)) (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z)))) (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (/.f64 (pow.f64 y y) (/.f64 (exp.f64 z) x))) (neg.f64 (*.f64 (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) -1/2) (*.f64 x x))))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (-.f64 (/.f64 (pow.f64 y y) (/.f64 (exp.f64 z) x)) (*.f64 x (*.f64 x (/.f64 (*.f64 (pow.f64 y y) -1/2) (exp.f64 z))))))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (-.f64 x (*.f64 -1/2 (*.f64 x x)))))
(+.f64 (*.f64 -1 (*.f64 (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (*.f64 -1/6 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z))))) (pow.f64 x 3))) (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (/.f64 (*.f64 (pow.f64 y y) x) (exp.f64 z)) (*.f64 -1 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 y y) (exp.f64 z))) (*.f64 -1 (/.f64 (pow.f64 y y) (exp.f64 z)))) (pow.f64 x 2))))))
(fma.f64 -1 (*.f64 (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) -7/6)) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (/.f64 (pow.f64 y y) (/.f64 (exp.f64 z) x))) (neg.f64 (*.f64 (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) -1/2) (*.f64 x x)))))
(+.f64 (-.f64 (/.f64 (pow.f64 y y) (/.f64 (exp.f64 z) x)) (*.f64 x (*.f64 x (/.f64 (*.f64 (pow.f64 y y) -1/2) (exp.f64 z))))) (fma.f64 (neg.f64 (fma.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) -7/6 (/.f64 (pow.f64 y y) (exp.f64 z)))) (pow.f64 x 3) (/.f64 (pow.f64 y y) (exp.f64 z))))
(+.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (-.f64 (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (-.f64 x (*.f64 -1/2 (*.f64 x x)))) (*.f64 (*.f64 (/.f64 -1/6 (exp.f64 z)) (pow.f64 y y)) (pow.f64 x 3))))
(+.f64 (*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (-.f64 x (*.f64 -1/2 (*.f64 x x)))) (fma.f64 (pow.f64 x 3) (/.f64 1/6 (/.f64 (exp.f64 z) (pow.f64 y y))) (/.f64 (pow.f64 y y) (exp.f64 z))))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 (*.f64 -1 x) z)))
(/.f64 (pow.f64 y y) (exp.f64 (neg.f64 (fma.f64 -1 z x))))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))

eval54.0ms (0.9%)

Compiler

Compiled 2061 to 703 computations (65.9% saved)

prune27.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1223125
Fresh000
Picked101
Done101
Total1243127
Error
0b
Counts
127 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
▶30.3b
(/.f64 (pow.f64 y y) (exp.f64 z))
▶0.5b
(exp.f64 (-.f64 x z))
▶34.2b
(*.f64 (pow.f64 y y) (exp.f64 x))
Compiler

Compiled 25 to 17 computations (32% saved)

localize12.0ms (0.2%)

Compiler

Compiled 12 to 5 computations (58.3% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (pow.f64 y y) (exp.f64 x))
Compiler

Compiled 16 to 6 computations (62.5% saved)

series5.0ms (0.1%)

Counts
1 → 8
Calls

6 calls:

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

rewrite116.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
564×pow1_binary64
518×add-log-exp_binary64
518×log1p-expm1-u_binary64
518×expm1-log1p-u_binary64
504×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify72.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
778×unswap-sqr_binary64
553×distribute-rgt-in_binary64
549×distribute-lft-in_binary64
532×*-commutative_binary64
349×distribute-rgt-out_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036187
1114182
2361168
31584155
43207148
57714148
Stop Event
1×node limit
Counts
19 → 25
Calls
Call 1
Inputs
(exp.f64 x)
(+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 3)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x))))
(pow.f64 y y)
(+.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) x))
(+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
Outputs
(exp.f64 x)
(+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x))
(fma.f64 y (*.f64 (exp.f64 x) (log.f64 y)) (exp.f64 x))
(fma.f64 (exp.f64 x) (*.f64 y (log.f64 y)) (exp.f64 x))
(*.f64 (exp.f64 x) (+.f64 1 (*.f64 y (log.f64 y))))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x)))
(fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2))) (fma.f64 y (*.f64 (exp.f64 x) (log.f64 y)) (exp.f64 x)))
(fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (exp.f64 x) (*.f64 y y))) (fma.f64 y (*.f64 (exp.f64 x) (log.f64 y)) (exp.f64 x)))
(+.f64 (exp.f64 x) (*.f64 (exp.f64 x) (+.f64 (*.f64 y (log.f64 y)) (*.f64 (*.f64 y y) (*.f64 1/2 (pow.f64 (log.f64 y) 2))))))
(+.f64 (exp.f64 x) (*.f64 (exp.f64 x) (*.f64 (log.f64 y) (+.f64 y (*.f64 (log.f64 y) (*.f64 y (*.f64 y 1/2)))))))
(*.f64 (exp.f64 x) (+.f64 1 (*.f64 (log.f64 y) (+.f64 y (*.f64 (log.f64 y) (*.f64 y (*.f64 y 1/2)))))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 3)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (exp.f64 x) (log.f64 y))) (exp.f64 x))))
(fma.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 3))) (fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (exp.f64 x) (pow.f64 (log.f64 y) 2))) (fma.f64 y (*.f64 (exp.f64 x) (log.f64 y)) (exp.f64 x))))
(fma.f64 1/6 (*.f64 (exp.f64 x) (*.f64 (pow.f64 (log.f64 y) 3) (pow.f64 y 3))) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (exp.f64 x) (*.f64 y y))) (fma.f64 y (*.f64 (exp.f64 x) (log.f64 y)) (exp.f64 x))))
(+.f64 (exp.f64 x) (fma.f64 1/6 (*.f64 (exp.f64 x) (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))) (*.f64 (exp.f64 x) (+.f64 (*.f64 y (log.f64 y)) (*.f64 (*.f64 y y) (*.f64 1/2 (pow.f64 (log.f64 y) 2)))))))
(+.f64 (exp.f64 x) (*.f64 (exp.f64 x) (+.f64 (*.f64 y (log.f64 y)) (*.f64 (pow.f64 (log.f64 y) 2) (+.f64 (*.f64 y (*.f64 y 1/2)) (*.f64 (log.f64 y) (*.f64 1/6 (pow.f64 y 3))))))))
(*.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 y) (+.f64 y (*.f64 (log.f64 y) (*.f64 y (*.f64 y 1/2))))) (+.f64 1 (*.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))))))
(pow.f64 y y)
(+.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) x))
(+.f64 (pow.f64 y y) (*.f64 x (pow.f64 y y)))
(*.f64 (+.f64 x 1) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 x 1))
(+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (pow.f64 y y) (fma.f64 1/2 (*.f64 (pow.f64 y y) (*.f64 x x)) (*.f64 x (pow.f64 y y))))
(+.f64 (*.f64 (+.f64 x 1) (pow.f64 y y)) (*.f64 1/2 (*.f64 (pow.f64 y y) (*.f64 x x))))
(*.f64 (pow.f64 y y) (+.f64 (+.f64 x 1) (*.f64 x (*.f64 x 1/2))))
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 x (*.f64 x 1/2)))))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(fma.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)) (+.f64 (pow.f64 y y) (fma.f64 1/2 (*.f64 (pow.f64 y y) (*.f64 x x)) (*.f64 x (pow.f64 y y)))))
(fma.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)) (+.f64 (*.f64 (+.f64 x 1) (pow.f64 y y)) (*.f64 1/2 (*.f64 (pow.f64 y y) (*.f64 x x)))))
(fma.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)) (*.f64 (pow.f64 y y) (+.f64 (+.f64 x 1) (*.f64 x (*.f64 x 1/2)))))
(*.f64 (pow.f64 y y) (+.f64 (+.f64 x (+.f64 1 (*.f64 x (*.f64 x 1/2)))) (*.f64 1/6 (pow.f64 x 3))))
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))

localize15.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 (pow.f64 y y) (exp.f64 z))
Compiler

Compiled 16 to 6 computations (62.5% saved)

series5.0ms (0.1%)

Counts
1 → 8
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@0
(/.f64 (pow.f64 y y) (exp.f64 z))
1.0ms
y
@inf
(/.f64 (pow.f64 y y) (exp.f64 z))
1.0ms
y
@-inf
(/.f64 (pow.f64 y y) (exp.f64 z))
1.0ms
z
@0
(/.f64 (pow.f64 y y) (exp.f64 z))
1.0ms
z
@-inf
(/.f64 (pow.f64 y y) (exp.f64 z))

rewrite69.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
657×pow1_binary64
608×add-log-exp_binary64
608×log1p-expm1-u_binary64
608×expm1-log1p-u_binary64
592×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
11259
216399
Stop Event
1×node limit
Counts
1 → 31
Calls
Call 1
Inputs
(/.f64 (pow.f64 y y) (exp.f64 z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (/.f64 (pow.f64 y y) (exp.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (pow.f64 y y) (exp.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) 2) (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 y y) y)) (*.f64 (cbrt.f64 (pow.f64 y y)) (exp.f64 (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) (sqrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 y y)) (/.f64 1 (neg.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 y y)) (*.f64 (sqrt.f64 (pow.f64 y y)) (exp.f64 (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 y y) y)) 1) (/.f64 (cbrt.f64 (pow.f64 y y)) (exp.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (pow.f64 y y)) 1) (/.f64 (sqrt.f64 (pow.f64 y y)) (exp.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (exp.f64 z)) 2)) (/.f64 (pow.f64 y y) (cbrt.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 y y) y)) (pow.f64 (cbrt.f64 (exp.f64 z)) 2)) (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (pow.f64 y y)) (pow.f64 (cbrt.f64 (exp.f64 z)) 2)) (/.f64 (sqrt.f64 (pow.f64 y y)) (cbrt.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (exp.f64 z))) (/.f64 (pow.f64 y y) (sqrt.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 y y) y)) (sqrt.f64 (exp.f64 z))) (/.f64 (cbrt.f64 (pow.f64 y y)) (sqrt.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (pow.f64 y y) (exp.f64 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (exp.f64 z) (pow.f64 y y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (pow.f64 y y) (neg.f64 (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 y y) 3) (pow.f64 (exp.f64 z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (pow.f64 y y) (exp.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))))))

simplify48.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
372×fma-def_binary64
359×associate-/l*_binary64
351×distribute-rgt-out_binary64
321×associate-/r*_binary64
270×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
052223
1170210
2568186
33416178
Stop Event
1×node limit
Counts
39 → 46
Calls
Call 1
Inputs
(/.f64 1 (exp.f64 z))
(+.f64 (/.f64 1 (exp.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))
(+.f64 (/.f64 1 (exp.f64 z)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 z))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z))))
(+.f64 (/.f64 1 (exp.f64 z)) (+.f64 (*.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 z))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 z))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y))) (pow.f64 z 2))) (pow.f64 y y)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y)))) (+.f64 (*.f64 -1/2 (pow.f64 y y)) (*.f64 1/6 (pow.f64 y y)))) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y))) (pow.f64 z 2))) (pow.f64 y y))))
Outputs
(/.f64 1 (exp.f64 z))
(exp.f64 (neg.f64 z))
(+.f64 (/.f64 1 (exp.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))
(+.f64 (exp.f64 (neg.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))
(+.f64 (exp.f64 (neg.f64 z)) (*.f64 (/.f64 y (exp.f64 z)) (log.f64 y)))
(fma.f64 (/.f64 y (exp.f64 z)) (log.f64 y) (exp.f64 (neg.f64 z)))
(+.f64 (/.f64 1 (exp.f64 z)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 z))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z))))
(+.f64 (exp.f64 (neg.f64 z)) (fma.f64 1/2 (/.f64 (*.f64 (*.f64 y y) (pow.f64 (log.f64 y) 2)) (exp.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z))))
(+.f64 (exp.f64 (neg.f64 z)) (fma.f64 1/2 (*.f64 (/.f64 (*.f64 y y) (exp.f64 z)) (pow.f64 (log.f64 y) 2)) (*.f64 (/.f64 y (exp.f64 z)) (log.f64 y))))
(fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (/.f64 y (/.f64 (exp.f64 z) y))) (fma.f64 (/.f64 y (exp.f64 z)) (log.f64 y) (exp.f64 (neg.f64 z))))
(fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (/.f64 y (exp.f64 z)) y)) (fma.f64 (/.f64 y (exp.f64 z)) (log.f64 y) (exp.f64 (neg.f64 z))))
(+.f64 (/.f64 1 (exp.f64 z)) (+.f64 (*.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 z))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 y 2) (pow.f64 (log.f64 y) 2)) (exp.f64 z))) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))))
(+.f64 (exp.f64 (neg.f64 z)) (fma.f64 1/6 (/.f64 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3)) (exp.f64 z)) (fma.f64 1/2 (/.f64 (*.f64 (*.f64 y y) (pow.f64 (log.f64 y) 2)) (exp.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))))
(+.f64 (exp.f64 (neg.f64 z)) (fma.f64 1/6 (*.f64 (/.f64 (pow.f64 y 3) (exp.f64 z)) (pow.f64 (log.f64 y) 3)) (fma.f64 1/2 (*.f64 (/.f64 (*.f64 y y) (exp.f64 z)) (pow.f64 (log.f64 y) 2)) (*.f64 (/.f64 y (exp.f64 z)) (log.f64 y)))))
(fma.f64 1/6 (*.f64 (/.f64 (pow.f64 (log.f64 y) 3) (exp.f64 z)) (pow.f64 y 3)) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (/.f64 y (/.f64 (exp.f64 z) y))) (fma.f64 (/.f64 y (exp.f64 z)) (log.f64 y) (exp.f64 (neg.f64 z)))))
(fma.f64 1/6 (*.f64 (pow.f64 (log.f64 y) 3) (/.f64 (pow.f64 y 3) (exp.f64 z))) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (/.f64 y (exp.f64 z)) y)) (fma.f64 (/.f64 y (exp.f64 z)) (log.f64 y) (exp.f64 (neg.f64 z)))))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (pow.f64 y y))
(-.f64 (pow.f64 y y) (*.f64 z (pow.f64 y y)))
(*.f64 (+.f64 (neg.f64 z) 1) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 z))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y))) (pow.f64 z 2))) (pow.f64 y y)))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (fma.f64 -1 (*.f64 (*.f64 (pow.f64 y y) -1/2) (*.f64 z z)) (pow.f64 y y)))
(-.f64 (fma.f64 (*.f64 1/2 (pow.f64 y y)) (*.f64 z z) (pow.f64 y y)) (*.f64 z (pow.f64 y y)))
(-.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) (+.f64 z (*.f64 z (*.f64 z -1/2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y)))) (+.f64 (*.f64 -1/2 (pow.f64 y y)) (*.f64 1/6 (pow.f64 y y)))) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 (+.f64 (*.f64 -1 (pow.f64 y y)) (*.f64 1/2 (pow.f64 y y))) (pow.f64 z 2))) (pow.f64 y y))))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (fma.f64 -1 (*.f64 (fma.f64 -1 (*.f64 (pow.f64 y y) -1/2) (*.f64 (pow.f64 y y) -1/3)) (pow.f64 z 3)) (fma.f64 -1 (*.f64 (*.f64 (pow.f64 y y) -1/2) (*.f64 z z)) (pow.f64 y y))))
(-.f64 (-.f64 (fma.f64 (*.f64 1/2 (pow.f64 y y)) (*.f64 z z) (pow.f64 y y)) (*.f64 (fma.f64 (pow.f64 y y) -1/3 (*.f64 1/2 (pow.f64 y y))) (pow.f64 z 3))) (*.f64 z (pow.f64 y y)))
(fma.f64 (pow.f64 z 3) (*.f64 (pow.f64 y y) -1/6) (-.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) (+.f64 z (*.f64 z (*.f64 z -1/2))))))
(fma.f64 (pow.f64 z 3) (*.f64 (pow.f64 y y) -1/6) (*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2))))))

eval16.0ms (0.3%)

Compiler

Compiled 980 to 377 computations (61.5% saved)

prune17.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New64771
Fresh000
Picked101
Done112
Total66874
Error
0b
Counts
74 → 8
Alt Table
Click to see full alt table
StatusErrorProgram
48.2b
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
✓0.5b
(exp.f64 (-.f64 x z))
▶48.0b
(*.f64 (pow.f64 y y) (-.f64 1 z))
▶48.1b
(pow.f64 y y)
▶22.6b
(exp.f64 x)
48.2b
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
▶48.2b
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
▶17.7b
(exp.f64 (neg.f64 z))
Compiler

Compiled 165 to 117 computations (29.1% saved)

localize4.0ms (0.1%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize3.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize4.0ms (0.1%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (pow.f64 y y) (-.f64 1 z))
Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@0
(*.f64 (pow.f64 y y) (-.f64 1 z))
1.0ms
z
@0
(*.f64 (pow.f64 y y) (-.f64 1 z))
0.0ms
z
@inf
(*.f64 (pow.f64 y y) (-.f64 1 z))
0.0ms
y
@inf
(*.f64 (pow.f64 y y) (-.f64 1 z))
0.0ms
y
@-inf
(*.f64 (pow.f64 y y) (-.f64 1 z))

rewrite60.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
744×pow1_binary64
692×add-log-exp_binary64
691×log1p-expm1-u_binary64
691×expm1-log1p-u_binary64
677×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
114710
2184310
Stop Event
1×node limit
Counts
1 → 19
Calls
Call 1
Inputs
(*.f64 (pow.f64 y y) (-.f64 1 z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y y) (*.f64 (neg.f64 z) (pow.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (pow.f64 y y) (-.f64 1 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (pow.f64 y y)) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 z z)) (pow.f64 y y)) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (fma.f64 z z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 y y) (-.f64 1 (*.f64 z z))) (+.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 y y) (-.f64 1 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 y y) (-.f64 1 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 y y) (-.f64 1 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (pow.f64 y y) (-.f64 1 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (-.f64 1 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 y y)) (-.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (-.f64 1 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 y y) 3) (pow.f64 (-.f64 1 z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 1 z) 3) (pow.f64 (pow.f64 y y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 y y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 y y) (-.f64 1 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 y y) (-.f64 1 z))))))))

simplify63.0ms (1%)

Algorithm
1×egg-herbie
Rules
853×cancel-sign-sub-inv_binary64
756×fma-neg_binary64
488×distribute-lft-in_binary64
488×distribute-rgt-in_binary64
453×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
037311
1111309
2369301
31788292
45983292
Stop Event
1×node limit
Counts
43 → 31
Calls
Call 1
Inputs
(-.f64 1 z)
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) 1) z)
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) (+.f64 1 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2)))))) z)
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) (+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 3)))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2))))))) z)
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 -1 (*.f64 (pow.f64 y y) z))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 -1 (*.f64 (pow.f64 y y) z))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
Outputs
(-.f64 1 z)
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) 1) z)
(-.f64 (fma.f64 y (*.f64 (-.f64 1 z) (log.f64 y)) 1) z)
(fma.f64 (*.f64 (-.f64 1 z) y) (log.f64 y) (-.f64 1 z))
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (-.f64 1 z))
(*.f64 (-.f64 1 z) (+.f64 1 (*.f64 y (log.f64 y))))
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) (+.f64 1 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2)))))) z)
(-.f64 (+.f64 (fma.f64 y (*.f64 (-.f64 1 z) (log.f64 y)) 1) (*.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2))))) z)
(-.f64 (fma.f64 y (*.f64 (-.f64 1 z) (log.f64 y)) (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (-.f64 1 z) (*.f64 y y))) 1)) z)
(+.f64 (-.f64 1 z) (*.f64 (-.f64 1 z) (+.f64 (*.f64 y (log.f64 y)) (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 y (*.f64 y 1/2))))))
(+.f64 1 (fma.f64 (-.f64 1 z) (*.f64 (log.f64 y) (+.f64 (*.f64 (log.f64 y) (*.f64 1/2 (*.f64 y y))) y)) (neg.f64 z)))
(-.f64 (+.f64 (*.f64 y (*.f64 (-.f64 1 z) (log.f64 y))) (+.f64 1 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 3)))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2))))))) z)
(-.f64 (+.f64 (fma.f64 y (*.f64 (-.f64 1 z) (log.f64 y)) 1) (fma.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 3))) (*.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (-.f64 1 z) (pow.f64 (log.f64 y) 2)))))) z)
(fma.f64 y (*.f64 (-.f64 1 z) (log.f64 y)) (-.f64 (+.f64 (fma.f64 1/2 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 (-.f64 1 z) (*.f64 y y))) 1) (*.f64 1/6 (*.f64 (pow.f64 (log.f64 y) 3) (*.f64 (-.f64 1 z) (pow.f64 y 3))))) z))
(+.f64 (*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (-.f64 1 z)) (*.f64 (-.f64 1 z) (+.f64 (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 y (*.f64 y 1/2))) (*.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))))))
(+.f64 1 (-.f64 (*.f64 (-.f64 1 z) (+.f64 (*.f64 (log.f64 y) (+.f64 (*.f64 (log.f64 y) (*.f64 1/2 (*.f64 y y))) y)) (*.f64 (pow.f64 (log.f64 y) 3) (*.f64 1/6 (pow.f64 y 3))))) z))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 -1 (*.f64 (pow.f64 y y) z))
(neg.f64 (*.f64 z (pow.f64 y y)))
(*.f64 (pow.f64 y y) (neg.f64 z))
(*.f64 z (neg.f64 (pow.f64 y y)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 -1 (*.f64 (pow.f64 y y) z))
(neg.f64 (*.f64 z (pow.f64 y y)))
(*.f64 (pow.f64 y y) (neg.f64 z))
(*.f64 z (neg.f64 (pow.f64 y y)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(*.f64 (-.f64 1 z) (pow.f64 y y))

localize20.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 x (*.f64 x 1/2)))
Compiler

Compiled 47 to 28 computations (40.4% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

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

rewrite62.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
707×pow1_binary64
661×add-log-exp_binary64
661×log1p-expm1-u_binary64
661×expm1-log1p-u_binary64
648×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0610
11328
218048
Stop Event
1×node limit
Counts
1 → 39
Calls
Call 1
Inputs
(+.f64 x (*.f64 x (*.f64 x 1/2)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x (*.f64 x 1/2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 x x) (-.f64 x (*.f64 x (*.f64 x 1/2)))) (/.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (-.f64 x (*.f64 x (*.f64 x 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 1 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 (*.f64 x 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 x 1/2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x (*.f64 x 1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x (*.f64 x 1/2) x)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x 1/2) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x 1/2) x)) 2) (cbrt.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 x 1/2) x)) (sqrt.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 (*.f64 x x) 3) 1/8)) (/.f64 1 (fma.f64 x x (-.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (*.f64 (pow.f64 x 3) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x (*.f64 x 1/2)) 2)) (/.f64 1 (-.f64 x (*.f64 x (*.f64 x 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x 1/2) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x (-.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (*.f64 (pow.f64 x 3) 1/2))) (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 (*.f64 x x) 3) 1/8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 x (*.f64 x (*.f64 x 1/2))) (-.f64 (*.f64 x x) (pow.f64 (*.f64 x (*.f64 x 1/2)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 (*.f64 x x) 3) 1/8)) (fma.f64 x x (-.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (*.f64 (pow.f64 x 3) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 (*.f64 x x) 3) 1/8)) (+.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (-.f64 (*.f64 x x) (*.f64 (pow.f64 x 3) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x (*.f64 x 1/2)) 2)) (-.f64 x (*.f64 x (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 x 3) (*.f64 (pow.f64 (*.f64 x x) 3) 1/8))) (neg.f64 (fma.f64 x x (-.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (*.f64 (pow.f64 x 3) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 x (*.f64 x 1/2)) 2))) (neg.f64 (-.f64 x (*.f64 x (*.f64 x 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 x 1/2)) 2) (*.f64 x x)) (-.f64 (*.f64 x (*.f64 x 1/2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x (*.f64 x 1/2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x (*.f64 x 1/2) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x 1/2) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x (*.f64 x 1/2) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x (*.f64 x 1/2) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x (*.f64 x 1/2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x (*.f64 x 1/2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 x 1/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x 1/2) x x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 x (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x (*.f64 x 1/2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1/2 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x 1/2))) 2) (cbrt.f64 (*.f64 x (*.f64 x 1/2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 x (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 x (sqrt.f64 1/2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 x (*.f64 x 1/2)))))))

simplify146.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
859×fma-def_binary64
778×sqr-pow_binary64
502×cube-prod_binary64
488×associate-*l*_binary64
483×fabs-mul_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0787
11587
22687
35487
413787
542187
6160087
7301187
8337387
9360487
10384787
11419287
12461887
13514887
14573587
15646187
16730487
17770487
18799287
Stop Event
1×node limit
Counts
51 → 44
Calls
Call 1
Inputs
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
Outputs
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (*.f64 x x))
(*.f64 x (*.f64 x 1/2))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (*.f64 x x))
(*.f64 x (*.f64 x 1/2))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(*.f64 x (fma.f64 x 1/2 1))

eval39.0ms (0.6%)

Compiler

Compiled 1220 to 716 computations (41.3% saved)

prune16.0ms (0.3%)

Pruning

9 alts after pruning (3 fresh and 6 done)

PrunedKeptTotal
New74175
Fresh022
Picked011
Done055
Total74983
Error
0b
Counts
83 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
✓48.1b
(pow.f64 y y)
▶48.0b
(-.f64 1 z)
▶48.2b
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
✓0.5b
(exp.f64 (-.f64 x z))
✓48.0b
(*.f64 (pow.f64 y y) (-.f64 1 z))
✓22.6b
(exp.f64 x)
▶48.2b
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
✓48.2b
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
✓17.7b
(exp.f64 (neg.f64 z))
Compiler

Compiled 92 to 66 computations (28.3% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))))
✓0.0b
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
✓0.1b
(*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6)))
✓0.3b
(*.f64 x 1/6)
Compiler

Compiled 72 to 43 computations (40.3% saved)

series29.0ms (0.5%)

Counts
4 → 60
Calls

15 calls:

TimeVariablePointExpression
21.0ms
y
@inf
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
1.0ms
x
@-inf
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
1.0ms
y
@0
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
1.0ms
y
@-inf
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
1.0ms
x
@inf
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))

rewrite107.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
848×fma-def_binary64
760×log-prod_binary64
357×fma-neg_binary64
276×expm1-udef_binary64
276×log1p-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify147.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
896×associate-*r/_binary64
528×fma-def_binary64
436×distribute-rgt-in_binary64
430×distribute-lft-in_binary64
390×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0581019
1194928
2705831
34734802
46198802
56522802
Stop Event
1×node limit
Counts
276 → 253
Calls
Call 1
Inputs
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x))
(+.f64 1 (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x))))
(+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 3)))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(pow.f64 y y)
(+.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) x))
(+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
1
(+.f64 1 x)
(+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 1 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 1 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
Outputs
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/6 x)
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (*.f64 x x))
(*.f64 x (*.f64 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x))
(+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x))
(+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x))
(+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1))
(+.f64 1 (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(+.f64 1 (fma.f64 y (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (log.f64 y)) (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)))
(+.f64 1 (fma.f64 (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) y) (log.f64 y) (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)))
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 (*.f64 y (log.f64 y)) 1))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 1 (*.f64 y (log.f64 y))))
(+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x))))
(+.f64 1 (fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 (log.f64 y) 2))) (fma.f64 y (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (log.f64 y)) (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x))))
(+.f64 1 (fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 (log.f64 y) 2))) (fma.f64 (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) y) (log.f64 y) (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x))))
(fma.f64 (*.f64 y (fma.f64 (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x) y y)) (*.f64 1/2 (pow.f64 (log.f64 y) 2)) (*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1))))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 1/2 (*.f64 y y)))))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 (+.f64 1 (*.f64 y (log.f64 y))) (*.f64 (pow.f64 (log.f64 y) 2) (*.f64 1/2 (*.f64 y y)))))
(+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 2)))) (+.f64 (*.f64 y (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (log.f64 y))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)) (pow.f64 (log.f64 y) 3)))) (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))))
(+.f64 1 (fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 (log.f64 y) 2))) (fma.f64 y (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (log.f64 y)) (fma.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 (log.f64 y) 3))) (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)))))
(+.f64 1 (fma.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 (log.f64 y) 2))) (fma.f64 y (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (log.f64 y)) (fma.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 (log.f64 y) 3))) (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)))))
(+.f64 1 (+.f64 (*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))))) (fma.f64 (*.f64 (*.f64 1/2 y) (fma.f64 (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x) y y)) (pow.f64 (log.f64 y) 2) (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x))))
(+.f64 1 (+.f64 (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x) (*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))) (*.f64 (log.f64 y) (+.f64 y (*.f64 (*.f64 1/2 (*.f64 y y)) (log.f64 y))))))))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 (*.f64 (+.f64 1/2 (*.f64 1/6 x)) (pow.f64 x 2)) x)))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(pow.f64 y y)
(+.f64 (pow.f64 y y) (*.f64 (pow.f64 y y) x))
(+.f64 (pow.f64 y y) (*.f64 x (pow.f64 y y)))
(*.f64 (+.f64 x 1) (pow.f64 y y))
(*.f64 (pow.f64 y y) (+.f64 x 1))
(+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(+.f64 (pow.f64 y y) (fma.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y)) (*.f64 x (pow.f64 y y))))
(+.f64 (*.f64 (+.f64 x 1) (pow.f64 y y)) (*.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y))))
(*.f64 (pow.f64 y y) (+.f64 1 (fma.f64 1/2 (*.f64 x x) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)))
(*.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (*.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y))))
(*.f64 x (*.f64 (*.f64 x (fma.f64 1/6 x 1/2)) (pow.f64 y y)))
(*.f64 x (*.f64 (pow.f64 y y) (*.f64 x (fma.f64 1/6 x 1/2))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (fma.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y)) (*.f64 x (pow.f64 y y))))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (fma.f64 x (pow.f64 y y) (*.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y)))))
(*.f64 (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x) (pow.f64 y y))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
(*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3)))
(*.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (*.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y))))
(*.f64 x (*.f64 (*.f64 x (fma.f64 1/6 x 1/2)) (pow.f64 y y)))
(*.f64 x (*.f64 (pow.f64 y y) (*.f64 x (fma.f64 1/6 x 1/2))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x)))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (fma.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y)) (*.f64 x (pow.f64 y y))))
(fma.f64 1/6 (*.f64 (pow.f64 x 3) (pow.f64 y y)) (fma.f64 x (pow.f64 y y) (*.f64 1/2 (*.f64 (*.f64 x x) (pow.f64 y y)))))
(*.f64 (fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x) (pow.f64 y y))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y y) (pow.f64 x 3))) (+.f64 (pow.f64 y y) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 x 2))) (*.f64 (pow.f64 y y) x))))
(*.f64 (+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x)) (pow.f64 y y))
(*.f64 (+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)) (pow.f64 y y))
(*.f64 (+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1)) (pow.f64 y y))
1
(+.f64 1 x)
(+.f64 x 1)
(+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 1 (fma.f64 1/2 (*.f64 x x) x))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x))
(+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x))
(+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) x))
(fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)
(fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x)
(+.f64 1 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x))
(+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x))
(+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (*.f64 1/2 (pow.f64 x 2)))
(fma.f64 1/6 (pow.f64 x 3) (*.f64 1/2 (*.f64 x x)))
(*.f64 x (*.f64 x (fma.f64 1/6 x 1/2)))
(*.f64 (*.f64 x x) (fma.f64 1/6 x 1/2))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) x))
(fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x)
(fma.f64 x (*.f64 x (fma.f64 1/6 x 1/2)) x)
(+.f64 1 (+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(+.f64 1 (fma.f64 (+.f64 (*.f64 1/6 x) 1/2) (*.f64 x x) x))
(+.f64 1 (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) x))
(+.f64 x (fma.f64 (*.f64 x x) (fma.f64 1/6 x 1/2) 1))

localize20.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 z (*.f64 z (*.f64 z -1/2)))
✓0.0b
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
Compiler

Compiled 47 to 28 computations (40.4% saved)

series7.0ms (0.1%)

Counts
2 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
z
@0
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
1.0ms
y
@0
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
1.0ms
y
@inf
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
1.0ms
z
@inf
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
0.0ms
y
@-inf
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))

rewrite74.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
585×log-prod_binary64
430×fma-def_binary64
376×pow-prod-down_binary64
315×pow2_binary64
237×pow-unpow_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify65.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
675×unsub-neg_binary64
565×associate-+r+_binary64
459×fma-neg_binary64
438×sub-neg_binary64
404×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
047606
1147601
2498548
32559532
46116532
Stop Event
1×node limit
Counts
141 → 128
Calls
Call 1
Inputs
(-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2))))
(-.f64 (+.f64 1 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y)))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(-.f64 (+.f64 1 (+.f64 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 2)))))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(-.f64 (+.f64 1 (+.f64 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 3)))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 2))))))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
z
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(*.f64 -1/2 (pow.f64 z 2))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(*.f64 -1/2 (pow.f64 z 2))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
Outputs
(-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2))))
(-.f64 1 (fma.f64 -1/2 (*.f64 z z) z))
(-.f64 1 (fma.f64 z (*.f64 z -1/2) z))
(-.f64 (+.f64 1 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y)))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(-.f64 (+.f64 1 (*.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)))) (fma.f64 -1/2 (*.f64 z z) z))
(-.f64 (fma.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)) 1) (fma.f64 -1/2 (*.f64 z z) z))
(*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)))
(*.f64 (+.f64 1 (*.f64 y (log.f64 y))) (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)))
(-.f64 (+.f64 1 (+.f64 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 2)))))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(-.f64 (+.f64 1 (fma.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)) (*.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 (log.f64 y) 2)))))) (fma.f64 -1/2 (*.f64 z z) z))
(+.f64 (fma.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)) 1) (-.f64 (*.f64 (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 (log.f64 y) 2)) (*.f64 (*.f64 1/2 y) y)) (fma.f64 -1/2 (*.f64 z z) z)))
(+.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (*.f64 (*.f64 y y) (pow.f64 (log.f64 y) 2))))))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (+.f64 (+.f64 1 (*.f64 y (log.f64 y))) (*.f64 1/2 (*.f64 (*.f64 y y) (pow.f64 (log.f64 y) 2)))))
(-.f64 (+.f64 1 (+.f64 (*.f64 y (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (log.f64 y))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 3)))) (*.f64 1/2 (*.f64 (pow.f64 y 2) (*.f64 (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))) (pow.f64 (log.f64 y) 2))))))) (+.f64 (*.f64 -1/2 (pow.f64 z 2)) z))
(-.f64 (+.f64 1 (fma.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)) (fma.f64 1/6 (*.f64 (pow.f64 y 3) (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 (log.f64 y) 3))) (*.f64 1/2 (*.f64 (*.f64 y y) (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 (log.f64 y) 2))))))) (fma.f64 -1/2 (*.f64 z z) z))
(+.f64 (fma.f64 y (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (log.f64 y)) 1) (-.f64 (fma.f64 1/6 (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (*.f64 (pow.f64 (log.f64 y) 3) (pow.f64 y 3))) (*.f64 (*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 (log.f64 y) 2)) (*.f64 (*.f64 1/2 y) y))) (fma.f64 -1/2 (*.f64 z z) z)))
(+.f64 (*.f64 (+.f64 (*.f64 y (log.f64 y)) 1) (-.f64 1 (fma.f64 z (*.f64 z -1/2) z))) (*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y y) (pow.f64 (log.f64 y) 2))) (*.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 (log.f64 y) 3))))))
(+.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (+.f64 (*.f64 (pow.f64 (log.f64 y) 2) (+.f64 (*.f64 y (*.f64 y 1/2)) (*.f64 (*.f64 1/6 (pow.f64 y 3)) (log.f64 y)))) (*.f64 y (log.f64 y)))))
(+.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (+.f64 (*.f64 y (log.f64 y)) (*.f64 (pow.f64 (log.f64 y) 2) (+.f64 (*.f64 y (*.f64 y 1/2)) (*.f64 (*.f64 1/6 (pow.f64 y 3)) (log.f64 y)))))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 -1/2 (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(pow.f64 y y)
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (pow.f64 y y))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (pow.f64 y y))
(-.f64 (pow.f64 y y) (*.f64 z (pow.f64 y y)))
(*.f64 (-.f64 1 z) (pow.f64 y y))
(*.f64 (pow.f64 y y) (-.f64 1 z))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))
(*.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y)))
(*.f64 (*.f64 z z) (*.f64 1/2 (pow.f64 y y)))
(*.f64 z (*.f64 (pow.f64 y y) (*.f64 1/2 z)))
(*.f64 z (*.f64 (pow.f64 y y) (*.f64 z 1/2)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2))))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (*.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y))))
(fma.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y)) (*.f64 (pow.f64 y y) (neg.f64 z)))
(*.f64 (pow.f64 y y) (-.f64 (*.f64 z (*.f64 z 1/2)) z))
(*.f64 z (*.f64 (pow.f64 y y) (+.f64 -1 (*.f64 z 1/2))))
(*.f64 z (*.f64 (pow.f64 y y) (-.f64 -1 (*.f64 z -1/2))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))
(*.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y)))
(*.f64 (*.f64 z z) (*.f64 1/2 (pow.f64 y y)))
(*.f64 z (*.f64 (pow.f64 y y) (*.f64 1/2 z)))
(*.f64 z (*.f64 (pow.f64 y y) (*.f64 z 1/2)))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2))))
(fma.f64 -1 (*.f64 z (pow.f64 y y)) (*.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y))))
(fma.f64 1/2 (*.f64 (*.f64 z z) (pow.f64 y y)) (*.f64 (pow.f64 y y) (neg.f64 z)))
(*.f64 (pow.f64 y y) (-.f64 (*.f64 z (*.f64 z 1/2)) z))
(*.f64 z (*.f64 (pow.f64 y y) (+.f64 -1 (*.f64 z 1/2))))
(*.f64 z (*.f64 (pow.f64 y y) (-.f64 -1 (*.f64 z -1/2))))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
(+.f64 (*.f64 -1 (*.f64 (pow.f64 y y) z)) (+.f64 (pow.f64 y y) (*.f64 1/2 (*.f64 (pow.f64 y y) (pow.f64 z 2)))))
(*.f64 (-.f64 1 (fma.f64 -1/2 (*.f64 z z) z)) (pow.f64 y y))
(*.f64 (-.f64 1 (fma.f64 z (*.f64 z -1/2) z)) (pow.f64 y y))
z
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 (*.f64 -1/2 (pow.f64 z 2)) z)
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(*.f64 -1/2 (pow.f64 z 2))
(*.f64 -1/2 (*.f64 z z))
(*.f64 z (*.f64 z -1/2))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(*.f64 -1/2 (pow.f64 z 2))
(*.f64 -1/2 (*.f64 z z))
(*.f64 z (*.f64 z -1/2))
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)
(+.f64 z (*.f64 -1/2 (pow.f64 z 2)))
(fma.f64 -1/2 (*.f64 z z) z)
(fma.f64 z (*.f64 z -1/2) z)

localize3.0ms (0.1%)

Compiler

Compiled 8 to 6 computations (25% saved)

eval167.0ms (2.7%)

Compiler

Compiled 8360 to 4873 computations (41.7% saved)

prune166.0ms (2.7%)

Pruning

9 alts after pruning (0 fresh and 9 done)

PrunedKeptTotal
New3810381
Fresh000
Picked011
Done088
Total3819390
Error
0b
Counts
390 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
✓48.1b
(pow.f64 y y)
✓48.0b
(-.f64 1 z)
✓48.2b
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
✓0.5b
(exp.f64 (-.f64 x z))
✓48.0b
(*.f64 (pow.f64 y y) (-.f64 1 z))
✓22.6b
(exp.f64 x)
✓48.2b
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
✓48.2b
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
✓17.7b
(exp.f64 (neg.f64 z))
Compiler

Compiled 92 to 66 computations (28.3% saved)

regimes57.0ms (0.9%)

Counts
13 → 1
Calls
Call 1
Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(/.f64 (pow.f64 y y) (exp.f64 z))
(*.f64 (pow.f64 y y) (exp.f64 x))
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
(*.f64 (pow.f64 y y) (-.f64 1 z))
(exp.f64 (-.f64 x z))
(pow.f64 y y)
(exp.f64 (neg.f64 z))
(exp.f64 x)
(-.f64 1 z)
Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
Calls

7 calls:

10.0ms
z
9.0ms
(+.f64 x (*.f64 y (log.f64 y)))
8.0ms
(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
8.0ms
y
8.0ms
x
Results
ErrorSegmentsBranch
0b1x
0b1y
0b1z
0b1(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
0b1(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
0b1(+.f64 x (*.f64 y (log.f64 y)))
0b1(*.f64 y (log.f64 y))
Compiler

Compiled 148 to 84 computations (43.2% saved)

regimes26.0ms (0.4%)

Counts
12 → 1
Calls
Call 1
Inputs
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(/.f64 (pow.f64 y y) (exp.f64 z))
(*.f64 (pow.f64 y y) (exp.f64 x))
(*.f64 (pow.f64 y y) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) (+.f64 1/2 (*.f64 x 1/6))))))
(*.f64 (pow.f64 y y) (-.f64 1 (+.f64 z (*.f64 z (*.f64 z -1/2)))))
(*.f64 (pow.f64 y y) (+.f64 1 (+.f64 x (*.f64 x (*.f64 x 1/2)))))
(*.f64 (pow.f64 y y) (-.f64 1 z))
(exp.f64 (-.f64 x z))
(pow.f64 y y)
(exp.f64 (neg.f64 z))
(exp.f64 x)
(-.f64 1 z)
Outputs
(exp.f64 (-.f64 x z))
Calls

3 calls:

8.0ms
x
8.0ms
y
7.0ms
z
Results
ErrorSegmentsBranch
0.5b1x
0.5b1y
0.5b1z
Compiler

Compiled 100 to 53 computations (47% saved)

regimes85.0ms (1.4%)

Accuracy

Total -48.1b remaining (-7380.2%)

Threshold costs -48.1b (-7380.2%)

Counts
4 → 2
Calls
Call 1
Inputs
(pow.f64 y y)
(exp.f64 (neg.f64 z))
(exp.f64 x)
(-.f64 1 z)
Outputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
Calls

3 calls:

50.0ms
z
26.0ms
y
8.0ms
x
Results
ErrorSegmentsBranch
0.7b2x
13.2b6y
0.7b2z
Compiler

Compiled 26 to 18 computations (30.8% saved)

bsearch75.0ms (1.2%)

Algorithm
1×binary-search
Steps
TimeLeftRight
74.0ms
6.3477642393367215e-12
1.737948636192258e-10
Compiler

Compiled 109 to 90 computations (17.4% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
4×sub-neg_binary64
2×*-commutative_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02038
13038
23538
33638
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 x z))
(if (<=.f64 z 507060240091291776/79228162514264337593543950336) (exp.f64 x) (exp.f64 (neg.f64 z)))
(-.f64 1 z)
Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (-.f64 x z))
(if (<=.f64 z 507060240091291776/79228162514264337593543950336) (exp.f64 x) (exp.f64 (neg.f64 z)))
(if (<=.f64 z 3961408125713217/618970019642690137449562112) (exp.f64 x) (exp.f64 (neg.f64 z)))
(-.f64 1 z)
Compiler

Compiled 37 to 27 computations (27% saved)

soundness0.0ms (0%)

end36.0ms (0.6%)

Compiler

Compiled 28 to 18 computations (35.7% saved)

Profiling

Loading profile data...