Details

Time bar (total: 2.4s)

analyze415.0ms (17.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
25%74.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
34.3%65.5%0.1%7
39%60.8%0.1%8
46%53.8%0.1%9
50.7%44.5%4.8%10
55.4%38.4%6.2%11
60.9%32.6%6.5%12
64.9%25.7%9.4%13
68%21.4%10.6%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample978.0ms (41.5%)

Results
839.0ms8256×body128valid
124.0ms1180×body128invalid
Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess63.0ms (2.7%)

Algorithm
2×egg-herbie
Rules
1322×fma-neg_binary64
1043×fma-def_binary64
254×unsub-neg_binary64
236×distribute-rgt-in_binary64
145×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02152
14744
211644
327644
466644
5126844
6242844
7386844
8407444
9411944
10411944
033
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
(+.f64 y (*.f64 (*.f64 (-.f64 x y) 6) z))
(+.f64 z (*.f64 (*.f64 (-.f64 y z) 6) x))
(+.f64 x (*.f64 (*.f64 (-.f64 z x) 6) y))
Outputs
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
(+.f64 x (*.f64 (-.f64 y x) (*.f64 6 z)))
(fma.f64 (-.f64 y x) (*.f64 6 z) x)
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
(+.f64 y (*.f64 (*.f64 (-.f64 x y) 6) z))
(+.f64 y (*.f64 z (*.f64 6 (-.f64 x y))))
(fma.f64 z (*.f64 6 (-.f64 x y)) y)
(fma.f64 6 (*.f64 z (-.f64 x y)) y)
(fma.f64 (-.f64 x y) (*.f64 6 z) y)
(fma.f64 z (*.f64 (-.f64 y x) -6) y)
(fma.f64 (-.f64 y x) (*.f64 z -6) y)
(+.f64 z (*.f64 (*.f64 (-.f64 y z) 6) x))
(+.f64 z (*.f64 x (*.f64 6 (-.f64 y z))))
(fma.f64 x (*.f64 6 (-.f64 y z)) z)
(fma.f64 6 (*.f64 x (-.f64 y z)) z)
(+.f64 x (*.f64 (*.f64 (-.f64 z x) 6) y))
(+.f64 x (*.f64 y (*.f64 6 (-.f64 z x))))
(fma.f64 y (*.f64 6 (-.f64 z x)) x)
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify42.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
780×fma-def_binary64
515×fma-neg_binary64
141×cancel-sign-sub-inv_binary64
122×distribute-rgt-in_binary64
106×unsub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0913
11611
23711
39311
421811
541511
660111
795211
8157011
9215711
10261411
11267811
12268011
13268011
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
Outputs
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
(+.f64 x (*.f64 (-.f64 y x) (*.f64 6 z)))
(fma.f64 (-.f64 y x) (*.f64 6 z) x)
(fma.f64 6 (*.f64 (-.f64 y x) z) x)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
0.2b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
Compiler

Compiled 66 to 41 computations (37.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (-.f64 y x) z)
✓0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)

series9.0ms (0.4%)

Counts
2 → 72
Calls

18 calls:

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

rewrite39.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
848×log1p-expm1-u_binary64
848×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
87×*-un-lft-identity_binary64
87×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify57.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
572×fma-def_binary64
520×fma-neg_binary64
107×cancel-sign-sub-inv_binary64
101×associate-*l*_binary64
87×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
031861
196663
2227657
3506603
41028603
51781603
62171603
72292603
82296603
92296603
Stop Event
1×saturated
Counts
116 → 63
Calls
Call 1
Inputs
(-.f64 x (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 y z)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 y z)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 y z)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 -1 (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 -1 (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 y z) (*.f64 z x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
Outputs
(-.f64 x (*.f64 6 (*.f64 z x)))
(+.f64 x (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 (*.f64 x z) -6))
(fma.f64 (*.f64 x z) -6 x)
(fma.f64 x (*.f64 z -6) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(+.f64 x (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 (*.f64 x z) -6))
(fma.f64 (*.f64 x z) -6 x)
(fma.f64 x (*.f64 z -6) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(+.f64 x (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 (*.f64 x z) -6))
(fma.f64 (*.f64 x z) -6 x)
(fma.f64 x (*.f64 z -6) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 z (*.f64 -6 (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 z (*.f64 -6 (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(+.f64 x (*.f64 z (*.f64 -6 (-.f64 x y))))
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
(*.f64 -1 (*.f64 z x))
(neg.f64 (*.f64 x z))
(*.f64 x (neg.f64 z))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 -1 (*.f64 z x))
(neg.f64 (*.f64 x z))
(*.f64 x (neg.f64 z))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 -1 (*.f64 z x))
(neg.f64 (*.f64 x z))
(*.f64 x (neg.f64 z))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 y z) (*.f64 z x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))
(*.f64 z (-.f64 y x))
(-.f64 (*.f64 z y) (*.f64 x z))

prune47.0ms (2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New59463
Fresh011
Picked011
Done000
Total59665
Error
0b
Counts
65 → 6
Alt Table
StatusErrorProgram
0.2b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
0.2b
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
✓0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
0.8b
(fma.f64 6 (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3) x)
1.3b
(pow.f64 (cbrt.f64 (fma.f64 6 (*.f64 (-.f64 y x) z) x)) 3)
▶0.2b
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
Compiler

Compiled 871 to 428 computations (50.9% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(*.f64 (-.f64 y x) z)
✓0.0b
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
✓0.2b
(*.f64 6 (*.f64 (-.f64 y x) z))

series9.0ms (0.4%)

Counts
2 → 72
Calls

18 calls:

TimeVariablePointExpression
2.0ms
z
@0
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
1.0ms
z
@inf
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
1.0ms
x
@0
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
1.0ms
y
@0
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
1.0ms
x
@inf
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))

rewrite51.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
514×log-prod_binary64
400×fma-def_binary64
189×expm1-udef_binary64
189×log1p-udef_binary64
187×fma-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify80.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
650×fma-def_binary64
534×fma-neg_binary64
108×cancel-sign-sub-inv_binary64
98×associate-*l*_binary64
95×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033969
197765
2236759
3524705
41012705
51732705
62160705
72391705
82395705
92395705
Stop Event
1×saturated
Counts
146 → 89
Calls
Call 1
Inputs
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 x (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
Outputs
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 x (*.f64 6 (*.f64 z x)))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)

prune68.0ms (2.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1170117
Fresh044
Picked011
Done011
Total1176123
Error
0b
Counts
123 → 6
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
0.2b
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
✓0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
0.8b
(fma.f64 6 (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3) x)
1.3b
(pow.f64 (cbrt.f64 (fma.f64 6 (*.f64 (-.f64 y x) z) x)) 3)
✓0.2b
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
Compiler

Compiled 1750 to 821 computations (53.1% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
✓0.0b
(*.f64 (-.f64 y x) 6)
✓0.2b
(*.f64 (*.f64 (-.f64 y x) 6) z)

series10.0ms (0.4%)

Counts
3 → 96
Calls

24 calls:

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

rewrite50.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
513×log-prod_binary64
404×fma-def_binary64
190×fma-neg_binary64
189×expm1-udef_binary64
189×log1p-udef_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify78.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
647×fma-def_binary64
516×fma-neg_binary64
103×cancel-sign-sub-inv_binary64
98×associate-*l*_binary64
95×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0341119
198915
2236909
3524855
41009855
51721855
62131855
72362855
82366855
92366855
Stop Event
1×saturated
Counts
199 → 122
Calls
Call 1
Inputs
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 x (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
Outputs
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 -6 (*.f64 z x))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (*.f64 6 (*.f64 y z)) (*.f64 6 (*.f64 z x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 6 y)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 -6 x)
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(-.f64 (*.f64 6 y) (*.f64 6 x))
(*.f64 6 (-.f64 y x))
(*.f64 -6 (-.f64 x y))
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 x (*.f64 6 (*.f64 z x)))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(+.f64 x (*.f64 -6 (*.f64 z x)))
(*.f64 x (fma.f64 -6 z 1))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 6 (*.f64 y z))
(*.f64 6 (*.f64 z y))
(*.f64 z (*.f64 6 y))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(*.f64 6 (-.f64 (*.f64 z y) (*.f64 z x)))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 -6 (*.f64 z (-.f64 x y)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 z y) x) (*.f64 -6 (*.f64 z x)))
(+.f64 x (*.f64 z (*.f64 6 (-.f64 y x))))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 -6 (*.f64 z (-.f64 x y)) x)

prune74.0ms (3.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1220122
Fresh033
Picked011
Done022
Total1226128
Error
0b
Counts
128 → 6
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
▶0.2b
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
✓0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
0.8b
(fma.f64 6 (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3) x)
1.3b
(pow.f64 (cbrt.f64 (fma.f64 6 (*.f64 (-.f64 y x) z) x)) 3)
✓0.2b
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
Compiler

Compiled 1856 to 988 computations (46.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 (*.f64 z -6) (-.f64 x y) x)

series5.0ms (0.2%)

Counts
1 → 36
Calls

9 calls:

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

rewrite43.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
846×log1p-expm1-u_binary64
846×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
87×*-un-lft-identity_binary64
87×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify49.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
739×fma-def_binary64
517×fma-neg_binary64
106×cancel-sign-sub-inv_binary64
96×associate-*l*_binary64
95×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
027531
182423
2205417
3480363
4967363
51690363
62237363
72474363
82478363
92478363
Stop Event
1×saturated
Counts
59 → 34
Calls
Call 1
Inputs
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 x (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
Outputs
x
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 (-.f64 (*.f64 6 y) (*.f64 6 x)) z)
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 (-.f64 y x) z))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 (*.f64 6 z) (-.f64 y x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 -1 (*.f64 z (-.f64 (*.f64 6 x) (*.f64 6 y))))
(*.f64 z (*.f64 6 (-.f64 y x)))
(*.f64 6 (*.f64 (-.f64 y x) z))
(*.f64 6 (*.f64 z (-.f64 y x)))
(*.f64 (*.f64 6 z) (-.f64 y x))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 (-.f64 1 (*.f64 6 z)) x)
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(neg.f64 (*.f64 x (fma.f64 6 z -1)))
(*.f64 x (fma.f64 z -6 1))
(fma.f64 (*.f64 x z) -6 x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 -1 (*.f64 (-.f64 (*.f64 6 z) 1) x))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(neg.f64 (*.f64 x (fma.f64 6 z -1)))
(*.f64 x (fma.f64 z -6 1))
(fma.f64 (*.f64 x z) -6 x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 x (*.f64 6 (*.f64 z x)))
(*.f64 x (+.f64 1 (*.f64 -6 z)))
(neg.f64 (*.f64 x (fma.f64 6 z -1)))
(*.f64 x (fma.f64 z -6 1))
(fma.f64 (*.f64 x z) -6 x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(*.f64 6 (*.f64 y z))
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)
(-.f64 (+.f64 (*.f64 6 (*.f64 y z)) x) (*.f64 6 (*.f64 z x)))
(+.f64 (fma.f64 6 (*.f64 y z) x) (*.f64 -6 (*.f64 x z)))
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
(+.f64 x (*.f64 6 (*.f64 z (-.f64 y x))))
(fma.f64 (*.f64 6 z) (-.f64 y x) x)

prune21.0ms (0.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New34034
Fresh022
Picked011
Done033
Total34640
Error
0b
Counts
40 → 6
Alt Table
StatusErrorProgram
✓0.2b
(+.f64 x (*.f64 (*.f64 (-.f64 y x) 6) z))
✓0.2b
(fma.f64 (*.f64 z -6) (-.f64 x y) x)
✓0.2b
(fma.f64 6 (*.f64 (-.f64 y x) z) x)
0.8b
(fma.f64 6 (pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3) x)
1.3b
(pow.f64 (cbrt.f64 (fma.f64 6 (*.f64 (-.f64 y x) z) x)) 3)
✓0.2b
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
Compiler

Compiled 484 to 271 computations (44% saved)

regimes70.0ms (3%)

Accuracy

Total 0.2b remaining (92.8%)

Threshold costs 0.2b (92.8%)

Counts
32 → 1
Compiler

Compiled 275 to 136 computations (50.5% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11413
21913
32113
42213
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))
Outputs
(+.f64 x (*.f64 6 (*.f64 (-.f64 y x) z)))

end73.0ms (3.1%)

Stop Event
1×fuel
Compiler

Compiled 98 to 66 computations (32.7% saved)

Profiling

Loading profile data...