Details

Time bar (total: 5.9s)

analyze273.0ms (4.6%)

Algorithm
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
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
0%99.9%0.1%9
21.1%74.5%4.4%10
25.4%69.8%4.8%11
30.6%64.2%5.2%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.1s (18.1%)

Results
883.0ms8256×body256valid
167.0ms1608×body256invalid

preprocess67.0ms (1.1%)

Algorithm
egg-herbie
Rules
738×fma-def_binary64
512×times-frac_binary64
390×distribute-frac-neg_binary64
340×distribute-rgt-neg-in_binary64
276×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02564
16964
217856
358156
4172956
5593644
033
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x)
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y)
Outputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 4 (/.f64 z (-.f64 x (+.f64 y (*.f64 z 1/2)))))
(/.f64 (-.f64 x (+.f64 y (*.f64 z 1/2))) (/.f64 z 4))
(/.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 z 4))
(*.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 4 z))
(*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z)
(/.f64 4 (/.f64 z (-.f64 (-.f64 y x) (*.f64 z 1/2))))
(*.f64 (/.f64 4 z) (+.f64 (-.f64 y x) (*.f64 z -1/2)))
(*.f64 (-.f64 y (fma.f64 z 1/2 x)) (/.f64 4 z))
(*.f64 4 (/.f64 (-.f64 y (fma.f64 z 1/2 x)) z))
(fma.f64 (-.f64 y x) (/.f64 4 z) -2)
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x)
(/.f64 4 (/.f64 x (-.f64 z (+.f64 y (*.f64 x 1/2)))))
(*.f64 (/.f64 4 x) (+.f64 (-.f64 z y) (*.f64 x -1/2)))
(*.f64 (-.f64 z (fma.f64 x 1/2 y)) (/.f64 4 x))
(*.f64 4 (/.f64 (-.f64 z (fma.f64 x 1/2 y)) x))
(fma.f64 (-.f64 z y) (/.f64 4 x) -2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y)
(*.f64 (/.f64 4 y) (+.f64 (-.f64 x z) (*.f64 y -1/2)))
(*.f64 (-.f64 x (fma.f64 y 1/2 z)) (/.f64 4 y))
(*.f64 4 (/.f64 (fma.f64 y -1/2 (-.f64 x z)) y))
(*.f64 4 (/.f64 (-.f64 x (fma.f64 y 1/2 z)) y))
(fma.f64 (-.f64 x z) (/.f64 4 y) -2)
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify54.0ms (0.9%)

Algorithm
egg-herbie
Rules
925×fma-neg_binary64
796×fma-def_binary64
768×times-frac_binary64
456×cancel-sign-sub-inv_binary64
435×associate-/l*_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01116
12416
25914
318414
451614
5166811
6605611
Stop Event
node limit
Counts
1 → 2
Calls
Call 1
Inputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Outputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 4 (/.f64 z (-.f64 x (+.f64 y (*.f64 z 1/2)))))
(*.f64 (/.f64 4 z) (+.f64 (-.f64 x y) (*.f64 z -1/2)))
(*.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 4 z))
(*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))
(*.f64 4 (/.f64 (-.f64 (fma.f64 z -1/2 x) y) z))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)

eval1.0ms (0%)

Compiler

Compiled 22 to 14 computations (36.4% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.3b
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
0.2b
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
Compiler

Compiled 25 to 18 computations (28% saved)

localize15.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.3b
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Compiler

Compiled 41 to 22 computations (46.3% saved)

series8.0ms (0.1%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
1.0ms
y
@0
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
z
@0
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@0
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@-inf
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@inf
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)

rewrite67.0ms (1.1%)

Algorithm
batch-egg-rewrite
Rules
649×log-prod_binary64
434×fma-def_binary64
342×pow2_binary64
250×fma-neg_binary64
235×pow1/3_binary64
Iterations

Useful iterations: 2 (0.0ms)

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

simplify98.0ms (1.7%)

Algorithm
egg-herbie
Rules
653×fma-def_binary64
598×fma-neg_binary64
520×div-sub_binary64
349×times-frac_binary64
305×sub-neg_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
032606
179550
2161545
3278545
4498356
5865353
61865353
73003353
85255353
97107353
Stop Event
node limit
Counts
85 → 66
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
Outputs
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))
(*.f64 -4 (/.f64 (fma.f64 1/2 z y) z))
(*.f64 (fma.f64 1/2 z y) (/.f64 -4 z))
(fma.f64 -4 (/.f64 y z) -2)
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 x z))
(*.f64 x (/.f64 4 z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 x z))
(*.f64 x (/.f64 4 z))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(*.f64 4 (/.f64 (+.f64 x (*.f64 -1/2 z)) z))
(fma.f64 4 (/.f64 x z) -2)
(fma.f64 (/.f64 4 z) x -2)
(fma.f64 x (/.f64 4 z) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 -4 (/.f64 y z))
(/.f64 (*.f64 -4 y) z)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 -4 (/.f64 y z))
(/.f64 (*.f64 -4 y) z)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(*.f64 (-.f64 x y) (/.f64 4 z))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z)))
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z)))
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.2b
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
Compiler

Compiled 22 to 12 computations (45.5% saved)

series6.0ms (0.1%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
z
@-inf
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
1.0ms
x
@0
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
1.0ms
z
@0
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
1.0ms
y
@0
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
1.0ms
z
@inf
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)

rewrite58.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
509×unpow-prod-down_binary64
418×log-prod_binary64
368×prod-diff_binary64
257×pow2_binary64
245×pow-prod-down_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
119911
2255011
Stop Event
node limit
Counts
1 → 37
Calls
Call 1
Inputs
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (*.f64 (-.f64 x y) (/.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 1) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2)) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2) 3) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 3) -8) (+.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 2) (-.f64 4 (*.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 2) 4) (fma.f64 (-.f64 x y) (/.f64 4 z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 1) 1))))))

simplify91.0ms (1.5%)

Algorithm
egg-herbie
Rules
854×fma-def_binary64
667×fma-neg_binary64
238×cancel-sign-sub-inv_binary64
136×distribute-rgt-in_binary64
84×unsub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
020515
143461
281461
3124353
4230353
5440353
6911353
71818353
82829353
93186353
103276353
113441353
123441353
Stop Event
saturated
Counts
73 → 50
Calls
Call 1
Inputs
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
Outputs
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(fma.f64 -4 (/.f64 y z) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(fma.f64 4 (/.f64 x z) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 -4 (/.f64 y z))
(/.f64 -4 (/.f64 z y))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 -4 (/.f64 y z))
(/.f64 -4 (/.f64 z y))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(/.f64 (*.f64 4 (-.f64 x y)) z)
(/.f64 -4 (/.f64 z (-.f64 y x)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2))
(fma.f64 4 (/.f64 (-.f64 x y) z) -2)
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2)

eval37.0ms (0.6%)

Compiler

Compiled 1593 to 1025 computations (35.7% saved)

prune47.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1088116
Fresh000
Picked101
Done101
Total1108118
Error
0b
Counts
118 → 8
Alt Table
Click to see full alt table
StatusErrorProgram
45.2b
(*.f64 x (/.f64 4 z))
18.7b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
35.4b
-2
28.2b
(*.f64 4 (/.f64 (-.f64 x y) z))
45.9b
(/.f64 -4 (/.f64 z y))
45.9b
(*.f64 -4 (/.f64 y z))
17.4b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
45.1b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 128 to 98 computations (23.4% saved)

localize16.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 22 to 12 computations (45.5% saved)

series8.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

TimeVariablePointExpression
3.0ms
z
@-inf
(*.f64 4 (/.f64 x z))
1.0ms
x
@0
(*.f64 4 (/.f64 x z))
1.0ms
x
@inf
(*.f64 4 (/.f64 x z))
1.0ms
z
@0
(*.f64 4 (/.f64 x z))
1.0ms
z
@inf
(*.f64 4 (/.f64 x z))

rewrite68.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
650×pow1_binary64
605×add-log-exp_binary64
605×log1p-expm1-u_binary64
605×expm1-log1p-u_binary64
593×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11287
216107
Stop Event
node limit
Counts
1 → 20
Calls
Call 1
Inputs
(*.f64 4 (/.f64 x z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 4 (/.f64 x z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 4 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 x) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 4 x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) 4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (neg.f64 x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 x z) 2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 4) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (/.f64 x z))))))))

simplify15.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
saturated
Counts
20 → 20
Calls
Call 1
Inputs
Outputs

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 -4 (/.f64 y z))
Compiler

Compiled 14 to 7 computations (50% saved)

series5.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
(*.f64 -4 (/.f64 y z))
1.0ms
z
@0
(*.f64 -4 (/.f64 y z))
1.0ms
y
@0
(*.f64 -4 (/.f64 y z))
1.0ms
z
@inf
(*.f64 -4 (/.f64 y z))
1.0ms
y
@-inf
(*.f64 -4 (/.f64 y z))

rewrite50.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
653×pow1_binary64
608×add-log-exp_binary64
608×log1p-expm1-u_binary64
608×expm1-log1p-u_binary64
596×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11277
216127
Stop Event
node limit
Counts
1 → 20
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 y z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -4 (/.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (/.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 -4 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 y) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 -4 y)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) -4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 (neg.f64 y)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 y z) 2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -4) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -4 (/.f64 y z))))))))

simplify14.0ms (0.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
saturated
Counts
20 → 20
Calls
Call 1
Inputs
Outputs

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 14 to 7 computations (50% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.3b
(*.f64 x (/.f64 4 z))
Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@0
(*.f64 x (/.f64 4 z))
0.0ms
x
@inf
(*.f64 x (/.f64 4 z))
0.0ms
x
@-inf
(*.f64 x (/.f64 4 z))
0.0ms
z
@inf
(*.f64 x (/.f64 4 z))
0.0ms
z
@-inf
(*.f64 x (/.f64 4 z))

rewrite49.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
613×pow1_binary64
572×add-log-exp_binary64
572×log1p-expm1-u_binary64
572×expm1-log1p-u_binary64
561×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11297
215597
Stop Event
node limit
Counts
1 → 20
Calls
Call 1
Inputs
(*.f64 x (/.f64 4 z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (/.f64 4 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 z 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 4) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x 4)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 x) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (/.f64 4 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (/.f64 4 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (/.f64 4 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (/.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (/.f64 4 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (/.f64 4 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (/.f64 4 z))))))))

simplify13.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
associate-/l*_binary64
associate-*r/_binary64
associate-*l/_binary64
associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
saturated
Counts
44 → 21
Calls
Call 1
Inputs
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
Outputs
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.7b
(/.f64 -4 (/.f64 z y))
Compiler

Compiled 14 to 7 computations (50% saved)

series2.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
z
@0
(/.f64 -4 (/.f64 z y))
0.0ms
z
@inf
(/.f64 -4 (/.f64 z y))
0.0ms
y
@inf
(/.f64 -4 (/.f64 z y))
0.0ms
y
@-inf
(/.f64 -4 (/.f64 z y))
0.0ms
z
@-inf
(/.f64 -4 (/.f64 z y))

rewrite52.0ms (0.9%)

Algorithm
batch-egg-rewrite
Rules
698×pow1_binary64
653×add-log-exp_binary64
653×log1p-expm1-u_binary64
653×expm1-log1p-u_binary64
640×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11347
217727
Stop Event
node limit
Counts
1 → 26
Calls
Call 1
Inputs
(/.f64 -4 (/.f64 z y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -4 (/.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -4 (/.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (/.f64 -4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 -4 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 2) (cbrt.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) (sqrt.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 1 (/.f64 (neg.f64 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y z) -4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -4 (neg.f64 z)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 z y) -1/4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 16 (pow.f64 (/.f64 z y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -4) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -4 (/.f64 y z))))))))

simplify11.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
associate-/l*_binary64
associate-*r/_binary64
associate-*l/_binary64
associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
saturated
Counts
50 → 26
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
Outputs
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))

eval23.0ms (0.4%)

Compiler

Compiled 857 to 538 computations (37.2% saved)

prune19.0ms (0.3%)

Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New1052107
Fresh033
Picked011
Done134
Total1069115
Error
0b
Counts
115 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
18.7b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
45.9b
(*.f64 (/.f64 -4 z) y)
45.2b
(/.f64 4 (/.f64 z x))
35.4b
-2
28.2b
(*.f64 4 (/.f64 (-.f64 x y) z))
45.9b
(/.f64 -4 (/.f64 z y))
45.9b
(*.f64 -4 (/.f64 y z))
17.4b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
45.1b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 74 to 57 computations (23% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 4 (/.f64 (-.f64 x y) z))
0.0b
(/.f64 (-.f64 x y) z)
Compiler

Compiled 22 to 8 computations (63.6% saved)

series20.0ms (0.3%)

Counts
2 → 48
Calls

18 calls:

TimeVariablePointExpression
5.0ms
y
@inf
(*.f64 4 (/.f64 (-.f64 x y) z))
1.0ms
x
@0
(/.f64 (-.f64 x y) z)
1.0ms
z
@-inf
(/.f64 (-.f64 x y) z)
1.0ms
x
@-inf
(/.f64 (-.f64 x y) z)
1.0ms
z
@inf
(/.f64 (-.f64 x y) z)

rewrite149.0ms (2.5%)

Algorithm
batch-egg-rewrite
Rules
541×prod-diff_binary64
472×log-prod_binary64
366×exp-prod_binary64
271×pow-prod-down_binary64
250×pow2_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify99.0ms (1.7%)

Algorithm
egg-herbie
Rules
588×fma-def_binary64
455×fma-neg_binary64
146×cancel-sign-sub-inv_binary64
127×distribute-rgt-in_binary64
102×associate-*l*_binary64
Iterations

Useful iterations: 10 (0.0ms)

IterNodesCost
014522
128504
247504
365504
482504
5112504
6170504
7243486
8392486
9713432
101382378
112304378
122646378
132901378
142905378
152905378
Stop Event
saturated
Counts
265 → 228
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
Outputs
(*.f64 -1 (/.f64 y z))
(neg.f64 (/.f64 y z))
(/.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(*.f64 -1 (/.f64 y z))
(neg.f64 (/.f64 y z))
(/.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(*.f64 -1 (/.f64 y z))
(neg.f64 (/.f64 y z))
(/.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(fma.f64 -1 (/.f64 y z) (/.f64 x z))
(-.f64 (/.f64 x z) (/.f64 y z))
(/.f64 (-.f64 x y) z)
(*.f64 -4 (/.f64 y z))
(*.f64 (/.f64 y z) -4)
(/.f64 -4 (/.f64 z y))
(*.f64 y (/.f64 -4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(*.f64 4 (/.f64 x z))
(*.f64 (/.f64 x z) 4)
(*.f64 x (/.f64 4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(*.f64 4 (/.f64 x z))
(*.f64 (/.f64 x z) 4)
(*.f64 x (/.f64 4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(*.f64 4 (/.f64 x z))
(*.f64 (/.f64 x z) 4)
(*.f64 x (/.f64 4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(*.f64 -4 (/.f64 y z))
(*.f64 (/.f64 y z) -4)
(/.f64 -4 (/.f64 z y))
(*.f64 y (/.f64 -4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(*.f64 -4 (/.f64 y z))
(*.f64 (/.f64 y z) -4)
(/.f64 -4 (/.f64 z y))
(*.f64 y (/.f64 -4 z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4))
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4))
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4))
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z)))
(*.f64 (/.f64 4 z) (-.f64 x y))
(*.f64 -4 (/.f64 (-.f64 y x) z))

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.2b
(*.f64 (/.f64 -4 z) y)
Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
z
@0
(*.f64 (/.f64 -4 z) y)
0.0ms
z
@-inf
(*.f64 (/.f64 -4 z) y)
0.0ms
z
@inf
(*.f64 (/.f64 -4 z) y)
0.0ms
y
@0
(*.f64 (/.f64 -4 z) y)
0.0ms
y
@-inf
(*.f64 (/.f64 -4 z) y)

rewrite57.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
616×pow1_binary64
574×add-log-exp_binary64
574×log1p-expm1-u_binary64
574×expm1-log1p-u_binary64
563×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify12.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
associate-/l*_binary64
associate-*r/_binary64
associate-*l/_binary64
associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
saturated
Counts
45 → 22
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
Outputs
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(*.f64 -4 (/.f64 y z))
Compiler

Compiled 22 to 12 computations (45.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.6b
(/.f64 4 (/.f64 z x))
Compiler

Compiled 14 to 7 computations (50% saved)

series2.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@inf
(/.f64 4 (/.f64 z x))
0.0ms
z
@0
(/.f64 4 (/.f64 z x))
0.0ms
x
@-inf
(/.f64 4 (/.f64 z x))
0.0ms
z
@-inf
(/.f64 4 (/.f64 z x))
0.0ms
z
@inf
(/.f64 4 (/.f64 z x))

rewrite49.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
696×pow1_binary64
652×add-log-exp_binary64
652×log1p-expm1-u_binary64
652×expm1-log1p-u_binary64
639×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11357
217727
Stop Event
node limit
Counts
1 → 26
Calls
Call 1
Inputs
(/.f64 4 (/.f64 z x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 4 (/.f64 x z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 4 (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 2) (cbrt.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) (sqrt.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -4 (/.f64 1 (/.f64 (neg.f64 z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x z) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (neg.f64 z)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 z x) 1/4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 16 (pow.f64 (/.f64 z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 4) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (/.f64 x z))))))))

simplify12.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
associate-/l*_binary64
associate-*r/_binary64
associate-*l/_binary64
associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06168
19168
213168
317168
418168
Stop Event
saturated
Counts
50 → 26
Calls
Call 1
Inputs
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
Outputs
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))

eval99.0ms (1.7%)

Compiler

Compiled 7228 to 3125 computations (56.8% saved)

prune46.0ms (0.8%)

Pruning

9 alts after pruning (1 fresh and 8 done)

PrunedKeptTotal
New2960296
Fresh011
Picked011
Done077
Total2969305
Error
0b
Counts
305 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
18.7b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
45.9b
(*.f64 (/.f64 -4 z) y)
45.2b
(/.f64 4 (/.f64 z x))
35.4b
-2
28.2b
(*.f64 4 (/.f64 (-.f64 x y) z))
45.9b
(/.f64 -4 (/.f64 z y))
45.9b
(*.f64 -4 (/.f64 y z))
17.4b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
45.1b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 74 to 57 computations (23% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune4.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done088
Total099
Error
0b
Counts
9 → 9
Alt Table
Click to see full alt table
StatusErrorProgram
18.7b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
45.9b
(*.f64 (/.f64 -4 z) y)
45.2b
(/.f64 4 (/.f64 z x))
35.4b
-2
28.2b
(*.f64 4 (/.f64 (-.f64 x y) z))
45.9b
(/.f64 -4 (/.f64 z y))
45.9b
(*.f64 -4 (/.f64 y z))
17.4b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
45.1b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 74 to 57 computations (23% saved)

regimes47.0ms (0.8%)

Counts
12 → 1
Calls
Call 1
Inputs
-2
(*.f64 (/.f64 -4 z) y)
(/.f64 4 (/.f64 z x))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
Outputs
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
Calls

6 calls:

8.0ms
z
8.0ms
(-.f64 x y)
8.0ms
x
7.0ms
y
7.0ms
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Results
ErrorSegmentsBranch
0.2b1x
0.2b1y
0.2b1z
0.2b1(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
0.2b1(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
0.2b1(-.f64 x y)
Compiler

Compiled 120 to 77 computations (35.8% saved)

regimes38.0ms (0.6%)

Counts
11 → 1
Calls
Call 1
Inputs
-2
(*.f64 (/.f64 -4 z) y)
(/.f64 4 (/.f64 z x))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Outputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Calls

5 calls:

8.0ms
(-.f64 x y)
7.0ms
x
7.0ms
z
7.0ms
y
5.0ms
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Results
ErrorSegmentsBranch
0.3b1x
0.3b1y
0.3b1z
0.3b1(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
0.3b1(-.f64 x y)
Compiler

Compiled 98 to 63 computations (35.7% saved)

regimes140.0ms (2.4%)

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

5 calls:

36.0ms
(-.f64 x y)
35.0ms
(-.f64 x y)
30.0ms
z
18.0ms
x
18.0ms
y
Results
ErrorSegmentsBranch
7.5b3x
5.9b3y
8.0b4z
10.6b5(-.f64 x y)
10.6b5(-.f64 x y)
Compiler

Compiled 79 to 51 computations (35.4% saved)

bsearch39.0ms (0.7%)

Algorithm
binary-search
Steps
TimeLeftRight
19.0ms
1.1780601419567107e+60
4.9481393774008044e+67
20.0ms
-4.0069046279066546e+45
-2.616065464861657e+31
Compiler

Compiled 20 to 15 computations (25% saved)

regimes114.0ms (1.9%)

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

5 calls:

26.0ms
(-.f64 x y)
25.0ms
(-.f64 x y)
24.0ms
x
21.0ms
y
17.0ms
z
Results
ErrorSegmentsBranch
12.7b3x
16.5b3y
9.0b3z
13.6b5(-.f64 x y)
13.6b5(-.f64 x y)
Compiler

Compiled 72 to 47 computations (34.7% saved)

bsearch38.0ms (0.7%)

Algorithm
binary-search
Steps
TimeLeftRight
19.0ms
1.3483886699686101e+107
2.1608054538718934e+116
19.0ms
-7.855688326229753e-7
-3.740723263907219e-8
Compiler

Compiled 20 to 15 computations (25% saved)

regimes67.0ms (1.1%)

Counts
8 → 5
Calls
Call 1
Inputs
-2
(*.f64 (/.f64 -4 z) y)
(/.f64 4 (/.f64 z x))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
Outputs
(*.f64 4 (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 4 (/.f64 x z))
Calls

3 calls:

25.0ms
x
25.0ms
z
15.0ms
y
Results
ErrorSegmentsBranch
13.5b5x
16.5b3y
14.5b5z
Compiler

Compiled 53 to 35 computations (34% saved)

bsearch186.0ms (3.2%)

Algorithm
binary-search
Steps
TimeLeftRight
70.0ms
4.6491863559327915e+190
1.571668529579565e+199
19.0ms
6.315436614856788e+45
2.5698477362318683e+46
20.0ms
6.722002239345792e-16
9.620386510955022e-12
77.0ms
-1.2194719199968307e+148
-1.9027637603458589e+146
Compiler

Compiled 340 to 271 computations (20.3% saved)

regimes148.0ms (2.5%)

Counts
7 → 6
Calls
Call 1
Inputs
-2
(*.f64 (/.f64 -4 z) y)
(/.f64 4 (/.f64 z x))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
Outputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
-2
Calls

3 calls:

91.0ms
x
32.0ms
z
22.0ms
y
Results
ErrorSegmentsBranch
26.7b7x
23.9b5y
23.4b6z
Compiler

Compiled 46 to 31 computations (32.6% saved)

bsearch273.0ms (4.7%)

Algorithm
binary-search
Steps
TimeLeftRight
53.0ms
2.1608054538718934e+116
5.267560374695199e+117
27.0ms
1.5181320951687677e-147
2.2651841491859506e-136
16.0ms
1.129572197333676e-199
1.1046753915555016e-197
159.0ms
-1.4374047446578344e-46
-1.4949167955134297e-47
19.0ms
-2.871659831047258e+76
-6.788798284403714e+74
Compiler

Compiled 434 to 337 computations (22.4% saved)

regimes93.0ms (1.6%)

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

3 calls:

35.0ms
z
32.0ms
x
24.0ms
y
Results
ErrorSegmentsBranch
26.8b7x
23.9b5y
23.5b6z
Compiler

Compiled 41 to 28 computations (31.7% saved)

bsearch204.0ms (3.5%)

Algorithm
binary-search
Steps
TimeLeftRight
21.0ms
2.1608054538718934e+116
5.267560374695199e+117
60.0ms
1.5181320951687677e-147
2.2651841491859506e-136
17.0ms
1.129572197333676e-199
1.1046753915555016e-197
86.0ms
-1.4374047446578344e-46
-1.4949167955134297e-47
19.0ms
-2.871659831047258e+76
-6.788798284403714e+74
Compiler

Compiled 434 to 337 computations (22.4% saved)

regimes152.0ms (2.6%)

Counts
5 → 6
Calls
Call 1
Inputs
-2
(*.f64 (/.f64 -4 z) y)
(/.f64 4 (/.f64 z x))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
Outputs
-2
(/.f64 -4 (/.f64 z y))
(*.f64 x (/.f64 4 z))
(/.f64 -4 (/.f64 z y))
(*.f64 x (/.f64 4 z))
-2
Calls

3 calls:

66.0ms
x
53.0ms
y
30.0ms
z
Results
ErrorSegmentsBranch
26.8b7x
23.9b5y
23.5b6z
Compiler

Compiled 36 to 25 computations (30.6% saved)

bsearch284.0ms (4.8%)

Algorithm
binary-search
Steps
TimeLeftRight
20.0ms
2.1608054538718934e+116
5.267560374695199e+117
25.0ms
1.5181320951687677e-147
2.2651841491859506e-136
17.0ms
1.129572197333676e-199
1.1046753915555016e-197
202.0ms
-1.4374047446578344e-46
-1.4949167955134297e-47
20.0ms
-2.871659831047258e+76
-6.788798284403714e+74
Compiler

Compiled 434 to 337 computations (22.4% saved)

regimes110.0ms (1.9%)

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

3 calls:

57.0ms
z
32.0ms
x
20.0ms
y
Results
ErrorSegmentsBranch
26.8b7x
23.9b5y
23.5b6z
Compiler

Compiled 31 to 22 computations (29% saved)

bsearch181.0ms (3.1%)

Algorithm
binary-search
Steps
TimeLeftRight
25.0ms
2.1608054538718934e+116
5.267560374695199e+117
27.0ms
1.5181320951687677e-147
2.2651841491859506e-136
17.0ms
1.129572197333676e-199
1.1046753915555016e-197
92.0ms
-1.4374047446578344e-46
-1.4949167955134297e-47
20.0ms
-2.871659831047258e+76
-6.788798284403714e+74
Compiler

Compiled 434 to 337 computations (22.4% saved)

regimes69.0ms (1.2%)

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

3 calls:

25.0ms
z
24.0ms
x
19.0ms
y
Results
ErrorSegmentsBranch
26.8b7x
23.9b5y
23.5b6z
Compiler

Compiled 26 to 19 computations (26.9% saved)

bsearch206.0ms (3.5%)

Algorithm
binary-search
Steps
TimeLeftRight
19.0ms
2.1608054538718934e+116
5.267560374695199e+117
26.0ms
1.5181320951687677e-147
2.2651841491859506e-136
18.0ms
1.129572197333676e-199
1.1046753915555016e-197
123.0ms
-1.4374047446578344e-46
-1.4949167955134297e-47
20.0ms
-2.871659831047258e+76
-6.788798284403714e+74
Compiler

Compiled 434 to 337 computations (22.4% saved)

regimes72.0ms (1.2%)

Accuracy

Total -36.1b remaining (-138.6%)

Threshold costs -36.1b (-138.6%)

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

3 calls:

48.0ms
z
11.0ms
x
11.0ms
y
Results
ErrorSegmentsBranch
33.7b3x
26.1b3y
28.3b3z
Compiler

Compiled 21 to 16 computations (23.8% saved)

bsearch109.0ms (1.9%)

Algorithm
binary-search
Steps
TimeLeftRight
85.0ms
5.215058793366821e+119
1.3638264008450432e+120
24.0ms
-4.4108964075520585e+27
-4.5090126869196884e+26
Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify37.0ms (0.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
095504
1112504
2130504
3136504
4139504
Stop Event
fuel
saturated
Calls
Call 1
Inputs
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(if (<=.f64 z -3709743925165773/4722366482869645213696) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 x z))))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 4 (/.f64 x z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 4 (/.f64 x z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2)))))
(if (<=.f64 y -4410896407552058527150243840) (*.f64 (/.f64 -4 z) y) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 (/.f64 -4 z) y)))
-2
Outputs
(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (+.f64 (-.f64 x y) (*.f64 z -1/2))) z)
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (+.f64 (*.f64 4 (/.f64 x z)) -2) (+.f64 (*.f64 -4 (/.f64 y z)) -2)))
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (+.f64 -2 (*.f64 4 (/.f64 x z))) (+.f64 -2 (*.f64 -4 (/.f64 y z)))))
(if (<=.f64 z -3709743925165773/4722366482869645213696) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(if (<=.f64 z -3709743925165773/4722366482869645213696) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (+.f64 (*.f64 -4 (/.f64 y z)) -2)))
(if (<=.f64 z -3709743925165773/4722366482869645213696) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (+.f64 -2 (*.f64 -4 (/.f64 y z)))))
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 x z))))))
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (*.f64 4 (/.f64 x z))))))
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (*.f64 4 (/.f64 x z))))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 4 (/.f64 x z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 4 (/.f64 x z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2)))))
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2)))))
(if (<=.f64 y -4410896407552058527150243840) (*.f64 (/.f64 -4 z) y) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 (/.f64 -4 z) y)))
(if (<=.f64 y -4410896407552058527150243840) (*.f64 y (/.f64 -4 z)) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 y (/.f64 -4 z))))
-2
Compiler

Compiled 388 to 269 computations (30.7% saved)

soundness197.0ms (3.4%)

Algorithm
egg-herbie
Rules
925×fma-neg_binary64
796×fma-def_binary64
768×times-frac_binary64
456×cancel-sign-sub-inv_binary64
435×associate-/l*_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01116
12416
25914
318414
451614
5166811
6605611
Stop Event
node limit
Compiler

Compiled 262 to 187 computations (28.6% saved)

end210.0ms (3.6%)

Compiler

Compiled 355 to 228 computations (35.8% saved)

Profiling

Loading profile data...