Details

Time bar (total: 2.1s)

analyze137.0ms (6.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
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
59.3%35.9%4.8%8
67.1%25.8%7.1%9
72.6%19.1%8.3%10
76.9%13.5%9.7%11
79.8%9.9%10.3%12
82%6.9%11.1%13
83.6%5%11.4%14
Compiler

Compiled 12 to 9 computations (25% saved)

sample1.1s (53.2%)

Results
587.0ms6232×body128valid
235.0ms723×body1024valid
179.0ms791×body512valid
78.0ms505×body256valid
9.0ms104×body128invalid
2.0ms5×body2048valid

preprocess29.0ms (1.4%)

Algorithm
2×egg-herbie
Rules
1016×fma-def_binary64
368×fma-neg_binary64
337×unsub-neg_binary64
317×associate--l+_binary64
241×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01026
11922
24222
313222
451216
5222116
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
(+.f64 y (*.f64 (-.f64 1 y) (-.f64 1 x)))
Outputs
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
(fma.f64 (-.f64 1 x) (-.f64 1 y) x)
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 x y 1) y)
(+.f64 y (*.f64 (-.f64 1 y) (-.f64 1 x)))
(+.f64 y (*.f64 (-.f64 1 x) (-.f64 1 y)))
(fma.f64 (-.f64 1 x) (-.f64 1 y) y)
(fma.f64 x y (-.f64 1 x))
(-.f64 (fma.f64 x y 1) x)
Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify26.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
736×fma-def_binary64
523×unsub-neg_binary64
291×distribute-neg-in_binary64
256×sub-neg_binary64
254×fma-neg_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0813
11611
23711
311311
44098
516868
640868
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
Outputs
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
(fma.f64 (-.f64 1 x) (-.f64 1 y) x)
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 x y 1) y)

eval1.0ms (0%)

Compiler

Compiled 17 to 11 computations (35.3% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 38 to 26 computations (31.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (fma.f64 x y 1) y)

series3.0ms (0.2%)

Counts
1 → 24
Calls

6 calls:

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

rewrite37.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
672×pow1_binary64
624×add-log-exp_binary64
624×log1p-expm1-u_binary64
624×expm1-log1p-u_binary64
65×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify22.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
185×fma-def_binary64
162×fma-neg_binary64
31×sub-neg_binary64
25×unsub-neg_binary64
22×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017207
145171
2107171
3227171
4461171
5661171
6766171
7784171
Stop Event
1×saturated
Counts
62 → 48
Calls
Call 1
Inputs
(-.f64 1 y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(*.f64 y x)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(*.f64 y x)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
1
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(*.f64 y (-.f64 x 1))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x))))
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
Outputs
(-.f64 1 y)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(*.f64 y x)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(*.f64 y x)
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(-.f64 (+.f64 1 (*.f64 y x)) y)
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
1
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(*.f64 y (-.f64 x 1))
(*.f64 y (+.f64 x -1))
(-.f64 (*.f64 y x) y)
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 y (-.f64 x 1)))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x))))
(*.f64 y (+.f64 x -1))
(-.f64 (*.f64 y x) y)
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))
(+.f64 1 (*.f64 -1 (*.f64 y (+.f64 1 (*.f64 -1 x)))))
(+.f64 1 (-.f64 (*.f64 y x) y))
(fma.f64 y (+.f64 x -1) 1)
(-.f64 (fma.f64 y x 1) y)
(fma.f64 y x (-.f64 1 y))

eval12.0ms (0.6%)

Compiler

Compiled 589 to 355 computations (39.7% saved)

prune74.0ms (3.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New47148
Fresh101
Picked011
Done000
Total48250
Error
0b
Counts
50 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 x y 1) y)
▶0.7b
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
Compiler

Compiled 30 to 21 computations (30% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (fma.f64 x y 1) y)
✓0.3b
(cbrt.f64 (-.f64 (fma.f64 x y 1) y))
✓0.4b
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)

series23.0ms (1.1%)

Counts
2 → 16
Calls

12 calls:

TimeVariablePointExpression
12.0ms
x
@0
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
2.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
2.0ms
y
@0
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
1.0ms
x
@-inf
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
1.0ms
y
@inf
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)

rewrite75.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
833×pow1_binary64
781×log1p-expm1-u_binary64
781×expm1-log1p-u_binary64
85×add-sqr-sqrt_binary64
80×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify37.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
690×distribute-rgt-in_binary64
675×distribute-lft-in_binary64
211×associate-*r*_binary64
189×associate-*l*_binary64
174×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0143974
1494894
22107849
Stop Event
1×node limit
Counts
86 → 98
Calls
Call 1
Inputs
(-.f64 1 y)
(-.f64 (+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x)) y)
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))) (*.f64 2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))))) (pow.f64 x 2)))) y)
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x) (+.f64 (*.f64 (pow.f64 x 3) (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3)))) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/3))) (*.f64 -2/27 (/.f64 (pow.f64 y 3) (-.f64 1 y))))) (+.f64 (*.f64 1/3 (*.f64 (*.f64 y (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -2/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 -1/3 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))))))))) (*.f64 (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))) (*.f64 2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))))) (pow.f64 x 2))))) y)
1
(+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y))
(+.f64 (*.f64 (pow.f64 y 2) (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 -1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 2/9 (pow.f64 (-.f64 x 1) 2)))))) (+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y)))
(+.f64 (*.f64 (pow.f64 y 2) (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 -1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 2/9 (pow.f64 (-.f64 x 1) 2)))))) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 3) (+.f64 (*.f64 -2/3 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3)))) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3)))) (+.f64 (*.f64 1/3 (*.f64 (-.f64 x 1) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2))))) (*.f64 -4/27 (pow.f64 (-.f64 x 1) 3)))))) (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y))))
(pow.f64 (-.f64 1 y) 1/3)
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (pow.f64 (-.f64 1 y) 1/3))
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/9))) (pow.f64 (-.f64 1 y) 1/3)))
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/9))) (+.f64 (pow.f64 (-.f64 1 y) 1/3) (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3)))) (pow.f64 x 3)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))))))
1
(+.f64 1 (*.f64 1/3 (*.f64 y (-.f64 x 1))))
(+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (-.f64 x 1) 2))) (+.f64 1 (*.f64 1/3 (*.f64 y (-.f64 x 1)))))
(+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (-.f64 x 1) 2))) (+.f64 1 (+.f64 (*.f64 1/3 (*.f64 y (-.f64 x 1))) (*.f64 -1/3 (*.f64 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3))) (pow.f64 y 3))))))
Outputs
(-.f64 1 y)
(-.f64 (+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x)) y)
(+.f64 1 (-.f64 (*.f64 (*.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) 1) x) y))
(-.f64 (fma.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) x 1) y)
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))) (*.f64 2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))))) (pow.f64 x 2)))) y)
(+.f64 1 (-.f64 (fma.f64 (*.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) 1) x (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (*.f64 y y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18))) -1/9) (*.f64 (*.f64 (*.f64 y y) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18))) 1/9)) (*.f64 x x))) y))
(+.f64 (fma.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) x 1) (-.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)) (*.f64 (*.f64 y y) -1/9)) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 y y))))) (*.f64 x x)) y))
(+.f64 (*.f64 x (+.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)) (*.f64 (*.f64 -1/9 y) y)) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 y y))))) x) (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))))) (-.f64 1 y))
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 (*.f64 2/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9))) (*.f64 1/3 (*.f64 y (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/9)))) x) (+.f64 (*.f64 (pow.f64 x 3) (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3)))) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/3))) (*.f64 -2/27 (/.f64 (pow.f64 y 3) (-.f64 1 y))))) (+.f64 (*.f64 1/3 (*.f64 (*.f64 y (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -2/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 -1/3 (+.f64 (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))))))))) (*.f64 (+.f64 (*.f64 (pow.f64 (-.f64 1 y) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))) (*.f64 -2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/9))))) (+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))) (*.f64 2/9 (*.f64 (pow.f64 y 2) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/9))))) (pow.f64 x 2))))) y)
(+.f64 1 (-.f64 (fma.f64 (*.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) 1) x (fma.f64 (pow.f64 x 3) (fma.f64 (cbrt.f64 (-.f64 1 y)) (fma.f64 -2/3 (*.f64 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) -5/27) (cbrt.f64 (/.f64 1 (-.f64 1 y)))) (*.f64 -2/27 (/.f64 (pow.f64 y 3) (-.f64 1 y)))) (fma.f64 1/3 (*.f64 y (*.f64 (*.f64 (*.f64 (*.f64 y y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18))) -1/9) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (fma.f64 -2/27 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) (*.f64 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) -5/27) -1/3)))) (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (*.f64 y y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18))) -1/9) (*.f64 (*.f64 (*.f64 y y) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18))) 1/9)) (*.f64 x x)))) y))
(+.f64 (fma.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) x 1) (-.f64 (fma.f64 (pow.f64 x 3) (fma.f64 (cbrt.f64 (-.f64 1 y)) (fma.f64 -2/3 (*.f64 (*.f64 (pow.f64 y 3) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2))) -5/27)) (cbrt.f64 (/.f64 1 (-.f64 1 y)))) (*.f64 -2/27 (/.f64 (pow.f64 y 3) (-.f64 1 y)))) (fma.f64 1/3 (*.f64 y (*.f64 (*.f64 y (*.f64 y (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)))) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18))))) (fma.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) -2/27 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) 5/81)))) (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)) (*.f64 (*.f64 y y) -1/9)) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 y y))))) (*.f64 x x))) y))
(+.f64 (fma.f64 (*.f64 y (*.f64 (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18) (pow.f64 (pow.f64 (-.f64 1 y) 4) 1/18))) x (*.f64 (*.f64 x x) (+.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 1 y)) (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2))) (*.f64 (pow.f64 y 3) -5/27)) (cbrt.f64 (/.f64 1 (-.f64 1 y)))) (/.f64 -2/27 (/.f64 (-.f64 1 y) (pow.f64 y 3)))) (fma.f64 1/3 (*.f64 y (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)) (*.f64 (*.f64 -1/9 y) y)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) -1/81))) x) (fma.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 4)) 1/18)) (*.f64 (*.f64 -1/9 y) y)) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 (pow.f64 (/.f64 1 (-.f64 1 y)) 1/18) (*.f64 y y)))))))) (-.f64 1 y))
1
(+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y))
(+.f64 1 (*.f64 y (*.f64 (+.f64 x -1) 1)))
(fma.f64 y (+.f64 x -1) 1)
(+.f64 (*.f64 (pow.f64 y 2) (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 -1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 2/9 (pow.f64 (-.f64 x 1) 2)))))) (+.f64 1 (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y)))
(fma.f64 (*.f64 y y) (+.f64 (*.f64 -1/9 (pow.f64 (+.f64 x -1) 2)) (*.f64 1/9 (pow.f64 (+.f64 x -1) 2))) (+.f64 1 (*.f64 y (*.f64 (+.f64 x -1) 1))))
(fma.f64 (*.f64 y y) (*.f64 (pow.f64 (+.f64 x -1) 2) 0) (fma.f64 y (+.f64 x -1) 1))
(fma.f64 (*.f64 y y) 0 (fma.f64 y (+.f64 x -1) 1))
(+.f64 (*.f64 (pow.f64 y 2) (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (+.f64 (*.f64 -1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 2/9 (pow.f64 (-.f64 x 1) 2)))))) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 3) (+.f64 (*.f64 -2/3 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3)))) (+.f64 (*.f64 -1/3 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3)))) (+.f64 (*.f64 1/3 (*.f64 (-.f64 x 1) (+.f64 (*.f64 1/9 (pow.f64 (-.f64 x 1) 2)) (*.f64 -2/9 (pow.f64 (-.f64 x 1) 2))))) (*.f64 -4/27 (pow.f64 (-.f64 x 1) 3)))))) (*.f64 (+.f64 (*.f64 2/3 (-.f64 x 1)) (*.f64 1/3 (-.f64 x 1))) y))))
(fma.f64 (*.f64 y y) (+.f64 (*.f64 -1/9 (pow.f64 (+.f64 x -1) 2)) (*.f64 1/9 (pow.f64 (+.f64 x -1) 2))) (+.f64 1 (fma.f64 (pow.f64 y 3) (fma.f64 -2/3 (*.f64 (pow.f64 (+.f64 x -1) 3) -5/27) (fma.f64 -1/3 (*.f64 (pow.f64 (+.f64 x -1) 3) -5/27) (fma.f64 1/3 (*.f64 (+.f64 x -1) (*.f64 -1/9 (pow.f64 (+.f64 x -1) 2))) (*.f64 (pow.f64 (+.f64 x -1) 3) -4/27)))) (*.f64 y (*.f64 (+.f64 x -1) 1)))))
(+.f64 (fma.f64 (pow.f64 y 3) (+.f64 (fma.f64 1/3 (*.f64 -1/9 (pow.f64 (+.f64 x -1) 3)) (*.f64 (pow.f64 (+.f64 x -1) 3) -4/27)) (*.f64 (*.f64 (pow.f64 (+.f64 x -1) 3) -5/27) -1)) (*.f64 y (+.f64 x -1))) (fma.f64 (*.f64 y y) (*.f64 (pow.f64 (+.f64 x -1) 2) 0) 1))
(+.f64 (fma.f64 (pow.f64 y 3) (+.f64 (fma.f64 1/3 (*.f64 -1/9 (pow.f64 (+.f64 x -1) 3)) (*.f64 (pow.f64 (+.f64 x -1) 3) -4/27)) (*.f64 (pow.f64 (+.f64 x -1) 3) 5/27)) (-.f64 (*.f64 y x) y)) (fma.f64 (*.f64 y y) 0 1))
(pow.f64 (-.f64 1 y) 1/3)
(cbrt.f64 (-.f64 1 y))
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (pow.f64 (-.f64 1 y) 1/3))
(fma.f64 1/3 (*.f64 y (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (cbrt.f64 (-.f64 1 y)))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)) (*.f64 y x)) (cbrt.f64 (-.f64 1 y)))
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/9))) (pow.f64 (-.f64 1 y) 1/3)))
(fma.f64 1/3 (*.f64 y (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (fma.f64 -1/9 (*.f64 (*.f64 (*.f64 y y) (*.f64 x x)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18))) (cbrt.f64 (-.f64 1 y))))
(fma.f64 1/3 (*.f64 y (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (fma.f64 -1/9 (*.f64 (*.f64 y y) (*.f64 x (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18))))) (cbrt.f64 (-.f64 1 y))))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)) (*.f64 y x)) (fma.f64 -1/9 (*.f64 (*.f64 y y) (*.f64 (*.f64 x x) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18)))) (cbrt.f64 (-.f64 1 y))))
(+.f64 (*.f64 1/3 (*.f64 (*.f64 y x) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/9))) (+.f64 (pow.f64 (-.f64 1 y) 1/3) (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))) (*.f64 1/27 (*.f64 (pow.f64 y 3) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3)))) (pow.f64 x 3)) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/3))))))
(fma.f64 1/3 (*.f64 y (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (fma.f64 -1/9 (*.f64 (*.f64 (*.f64 y y) (*.f64 x x)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18))) (+.f64 (cbrt.f64 (-.f64 1 y)) (*.f64 -1/3 (*.f64 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) -5/27) (*.f64 (pow.f64 x 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))))))))
(fma.f64 1/3 (*.f64 y (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)))) (fma.f64 -1/9 (*.f64 (*.f64 y y) (*.f64 x (*.f64 x (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18))))) (fma.f64 (*.f64 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) 5/81) (pow.f64 x 3)) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2))) (cbrt.f64 (-.f64 1 y)))))
(fma.f64 1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)) 1/18)) (*.f64 y x)) (fma.f64 -1/9 (*.f64 (*.f64 y y) (*.f64 (*.f64 x x) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 7)) 1/18)))) (fma.f64 (*.f64 (*.f64 (*.f64 (pow.f64 y 3) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2)))) 5/81) (pow.f64 x 3)) (cbrt.f64 (/.f64 1 (pow.f64 (-.f64 1 y) 2))) (cbrt.f64 (-.f64 1 y)))))
1
(+.f64 1 (*.f64 1/3 (*.f64 y (-.f64 x 1))))
(+.f64 1 (*.f64 1/3 (*.f64 y (+.f64 x -1))))
(fma.f64 (*.f64 y 1/3) (+.f64 x -1) 1)
(fma.f64 1/3 (-.f64 (*.f64 y x) y) 1)
(+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (-.f64 x 1) 2))) (+.f64 1 (*.f64 1/3 (*.f64 y (-.f64 x 1)))))
(fma.f64 -1/9 (*.f64 (*.f64 y y) (pow.f64 (+.f64 x -1) 2)) (+.f64 1 (*.f64 1/3 (*.f64 y (+.f64 x -1)))))
(fma.f64 -1/9 (*.f64 (*.f64 y y) (pow.f64 (+.f64 x -1) 2)) (fma.f64 (*.f64 y 1/3) (+.f64 x -1) 1))
(fma.f64 -1/9 (*.f64 (*.f64 y y) (pow.f64 (+.f64 x -1) 2)) (fma.f64 1/3 (-.f64 (*.f64 y x) y) 1))
(+.f64 (*.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (-.f64 x 1) 2))) (+.f64 1 (+.f64 (*.f64 1/3 (*.f64 y (-.f64 x 1))) (*.f64 -1/3 (*.f64 (+.f64 (*.f64 -2/9 (pow.f64 (-.f64 x 1) 3)) (*.f64 1/27 (pow.f64 (-.f64 x 1) 3))) (pow.f64 y 3))))))
(fma.f64 -1/9 (*.f64 (*.f64 y y) (pow.f64 (+.f64 x -1) 2)) (+.f64 1 (fma.f64 1/3 (*.f64 y (+.f64 x -1)) (*.f64 -1/3 (*.f64 (pow.f64 y 3) (*.f64 (pow.f64 (+.f64 x -1) 3) -5/27))))))
(fma.f64 -1/9 (*.f64 (*.f64 y y) (pow.f64 (+.f64 x -1) 2)) (+.f64 (fma.f64 (*.f64 y 1/3) (+.f64 x -1) 1) (*.f64 (pow.f64 y 3) (*.f64 (pow.f64 (+.f64 x -1) 3) 5/81))))
(+.f64 (fma.f64 1/3 (-.f64 (*.f64 y x) y) 1) (*.f64 (*.f64 y y) (+.f64 (*.f64 (*.f64 (pow.f64 (+.f64 x -1) 3) 5/81) y) (*.f64 -1/9 (pow.f64 (+.f64 x -1) 2)))))

eval79.0ms (3.8%)

Compiler

Compiled 3258 to 2359 computations (27.6% saved)

prune365.0ms (17.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1460146
Fresh000
Picked011
Done011
Total1462148
Error
0b
Counts
148 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (fma.f64 x y 1) y)
✓0.7b
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes17.0ms (0.8%)

Accuracy

Total -18.5b remaining (-236921.9%)

Threshold costs -18.5b (-236921.9%)

Counts
3 → 1
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y 1) y)) 3)
(-.f64 (fma.f64 x y 1) y)
(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
Outputs
(-.f64 (fma.f64 x y 1) y)
Results
TimeErrorSegmentsBranch
6.0ms0.0b1x
4.0ms0.0b1y
3.0ms0.0b1(+.f64 x (*.f64 (-.f64 1 x) (-.f64 1 y)))
3.0ms0.0b1(-.f64 1 y)
Compiler

Compiled 48 to 33 computations (31.3% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
068
1108
2148
3168
4178
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (fma.f64 x y 1) y)
Outputs
(-.f64 (fma.f64 x y 1) y)

end15.0ms (0.7%)

Stop Event
1×done
Compiler

Compiled 16 to 10 computations (37.5% saved)

Profiling

Loading profile data...