Details

Time bar (total: 766.0ms)

analyze0.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 10 to 8 computations (20% saved)

sample592.0ms (77.3%)

Results
581.0ms8256×body128valid

preprocess16.0ms (2.1%)

Algorithm
2×egg-herbie
Rules
1×swap-x-y
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
012
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
-54767/66192
-54767/66192
Outputs
-54767/66192
-54767/66192
Symmetry

(sort x y)

Compiler

Compiled 45 to 33 computations (26.7% saved)

simplify19.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
333×fma-def_binary64
313×fma-neg_binary64
172×rule-*a-bc-*nega-cb_binary64
157×rule-+a-bc-+b-ac_binary64
153×rule--a-bc--c-ba_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03162
120760
280856
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
Outputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
(+.f64 (+.f64 (fma.f64 1335/4 (pow.f64 y 6) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2)))
(+.f64 (fma.f64 11/2 (pow.f64 y 8) (fma.f64 (*.f64 x x) (+.f64 (-.f64 (fma.f64 y (*.f64 (*.f64 x 11) (*.f64 y x)) (neg.f64 (pow.f64 y 6))) (*.f64 121 (pow.f64 y 4))) -2) (*.f64 1335/4 (pow.f64 y 6)))) (/.f64 x (*.f64 y 2)))
(fma.f64 x (/.f64 1/2 y) (fma.f64 (*.f64 x x) (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) (fma.f64 11/2 (pow.f64 y 8) (*.f64 1335/4 (pow.f64 y 6)))))

prune4.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
63.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶63.1b
(fma.f64 x (/.f64 1/2 y) (fma.f64 (*.f64 x x) (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) (fma.f64 11/2 (pow.f64 y 8) (*.f64 1335/4 (pow.f64 y 6)))))
Compiler

Compiled 166 to 117 computations (29.5% saved)

localize21.0ms (2.7%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓1.0b
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))

series6.0ms (0.7%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))
1.0ms
y
@-inf
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))
1.0ms
y
@0
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))
1.0ms
y
@inf
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))
1.0ms
x
@inf
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))

rewrite27.0ms (3.5%)

Algorithm
1×batch-egg-rewrite
Rules
200×add-sqr-sqrt_binary64
193×add-log-exp_binary64
193×log1p-expm1-u_binary64
193×expm1-log1p-u_binary64
191×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01729
146529
Stop Event
1×node limit
Counts
1 → 24
Calls
Call 1
Inputs
(-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 11 (*.f64 y x))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 y 6) (neg.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))))) (*.f64 (pow.f64 y 6) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) (*.f64 (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))) (cbrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) (sqrt.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (-.f64 (pow.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) 3) (pow.f64 (pow.f64 y 6) 3)) (-.f64 (pow.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) 3) (pow.f64 (pow.f64 y 6) 3))) (/.f64 1/2 (+.f64 (*.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (+.f64 (*.f64 (pow.f64 y 6) (pow.f64 y 6)) (*.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (sqrt.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (sqrt.f64 (pow.f64 y 6))) (+.f64 (sqrt.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (sqrt.f64 (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (sqrt.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (pow.f64 y 3)) (+.f64 (sqrt.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) 3) (pow.f64 (pow.f64 y 6) 3)) (+.f64 (*.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4)))) (+.f64 (*.f64 (pow.f64 y 6) (pow.f64 y 6)) (*.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) (*.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)) (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (-.f64 (fma.f64 y (*.f64 x (*.f64 y (*.f64 x 11))) -2) (*.f64 121 (pow.f64 y 4))) (pow.f64 y 6))))))))

simplify40.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
586×rule-a-*a1_binary64
586×rule-a--a0_binary64
586×rule-a-+a0_binary64
580×rule-a-/a1_binary64
360×fma-def_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
030537
1205516
2685503
33241503
Stop Event
1×node limit
Counts
48 → 42
Calls
Call 1
Inputs
-2
(-.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) 2)
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 -121 (pow.f64 y 4))) 2)
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(*.f64 -1 (pow.f64 y 6))
(+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))
(+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))))
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(*.f64 -1 (pow.f64 y 6))
(+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))
(+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))))
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
Outputs
-2
(-.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) 2)
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2)
(fma.f64 (*.f64 y y) (*.f64 x (*.f64 11 x)) -2)
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 -121 (pow.f64 y 4))) 2)
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (*.f64 -121 (pow.f64 y 4))) 2)
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -121 (pow.f64 y 4) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) -2))
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(*.f64 -1 (pow.f64 y 6))
(neg.f64 (pow.f64 y 6))
(+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))
(fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))
(fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6)))
(neg.f64 (fma.f64 (pow.f64 y 4) 121 (pow.f64 y 6)))
(+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))))
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4))))
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (neg.f64 (fma.f64 (pow.f64 y 4) 121 (pow.f64 y 6))))
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(*.f64 -1 (pow.f64 y 6))
(neg.f64 (pow.f64 y 6))
(+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))
(fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))
(fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6)))
(neg.f64 (fma.f64 (pow.f64 y 4) 121 (pow.f64 y 6)))
(+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))))
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4))))
(fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (neg.f64 (fma.f64 (pow.f64 y 4) 121 (pow.f64 y 6))))
(-.f64 (+.f64 (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1 (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4)))) 2)
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6))))
(+.f64 -2 (*.f64 -1 (fma.f64 121 (pow.f64 y 4) (pow.f64 y 6))))
(neg.f64 (fma.f64 (pow.f64 y 4) 121 (+.f64 2 (pow.f64 y 6))))
(fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2)))
(*.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)))
(*.f64 y (*.f64 (*.f64 x (*.f64 11 x)) y))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2)))
(*.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)))
(*.f64 y (*.f64 (*.f64 x (*.f64 11 x)) y))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))
(+.f64 (*.f64 -1 (+.f64 2 (+.f64 (*.f64 121 (pow.f64 y 4)) (pow.f64 y 6)))) (*.f64 11 (*.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 -1 (pow.f64 y 6) (*.f64 -121 (pow.f64 y 4)))) 2)
(+.f64 (fma.f64 -121 (pow.f64 y 4) (neg.f64 (pow.f64 y 6))) (fma.f64 11 (*.f64 (*.f64 y y) (*.f64 x x)) -2))
(fma.f64 11 (*.f64 y (*.f64 y (*.f64 x x))) (fma.f64 -121 (pow.f64 y 4) (fma.f64 -1 (pow.f64 y 6) -2)))

prune41.0ms (5.3%)

Compiler

Compiled 1934 to 1333 computations (31.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...