Details

Time bar (total: 1.9s)

analyze48.0ms (2.5%)

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
25%56.2%18.8%6
25%40.6%34.4%7
31.2%31.2%37.6%8
39%21.1%39.9%9
42.9%16%41.1%10
47.2%10.7%42%11
49.4%8.1%42.5%12
Compiler

Compiled 10 to 5 computations (50% saved)

sample805.0ms (42.5%)

Results
778.0ms8256×body256valid
14.0ms173×body256invalid

preprocess26.0ms (1.4%)

Algorithm
2×egg-herbie
Rules
70×fma-def_binary64
24×associate-+l+_binary64
18×associate-+r+_binary64
10×distribute-rgt-in_binary64
8×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0720
12320
24120
37720
412020
515020
617020
718720
818920
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(*.f64 (+.f64 x y) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 y x))
Outputs
(*.f64 (+.f64 x y) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 y x))
(*.f64 (+.f64 x y) (+.f64 x y))
Symmetry

(sort x y)

Compiler

Compiled 11 to 6 computations (45.5% saved)

simplify10.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
70×fma-def_binary64
25×associate-+l+_binary64
17×associate-+r+_binary64
10×distribute-rgt-in_binary64
8×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
11210
22910
36710
411010
514010
616010
717710
817910
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (+.f64 x y))
Outputs
(*.f64 (+.f64 x y) (+.f64 x y))

eval0.0ms (0%)

Compiler

Compiled 9 to 4 computations (55.6% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(*.f64 (+.f64 x y) (+.f64 x y))
Compiler

Compiled 9 to 4 computations (55.6% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiled 14 to 4 computations (71.4% saved)

series3.0ms (0.2%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(*.f64 (+.f64 x y) (+.f64 x y))
1.0ms
x
@inf
(*.f64 (+.f64 x y) (+.f64 x y))
1.0ms
x
@-inf
(*.f64 (+.f64 x y) (+.f64 x y))
0.0ms
y
@-inf
(*.f64 (+.f64 x y) (+.f64 x y))
0.0ms
y
@inf
(*.f64 (+.f64 x y) (+.f64 x y))

rewrite56.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
659×pow1_binary64
618×add-log-exp_binary64
618×log1p-expm1-u_binary64
618×expm1-log1p-u_binary64
600×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify180.0ms (9.5%)

Algorithm
1×egg-herbie
Rules
947×sqr-pow_binary64
615×fma-def_binary64
553×fabs-mul_binary64
539×cube-prod_binary64
372×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
012294
132267
269222
3151216
4418216
51562216
62826216
73098216
83284216
93528216
103831216
114224216
124729216
135307216
146055216
156607216
166943216
177263216
187349216
197379216
Stop Event
1×node limit
Counts
50 → 36
Calls
Call 1
Inputs
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
Outputs
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 x 2))
(fma.f64 2 (*.f64 y x) (*.f64 x x))
(*.f64 x (+.f64 (*.f64 y 2) x))
(*.f64 x (fma.f64 y 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))
(+.f64 (*.f64 2 (*.f64 y x)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (fma.f64 2 (*.f64 y x) (*.f64 y y)) (*.f64 x x))
(fma.f64 2 (*.f64 y x) (fma.f64 y y (*.f64 x x)))
(fma.f64 x (fma.f64 y 2 x) (*.f64 y y))
(fma.f64 y y (*.f64 x (fma.f64 y 2 x)))

eval10.0ms (0.5%)

Compiler

Compiled 471 to 165 computations (65% saved)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New33336
Fresh000
Picked011
Done000
Total33437
Error
0b
Counts
37 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(*.f64 (+.f64 x y) (+.f64 x y))
▶27.4b
(*.f64 x x)
▶27.9b
(*.f64 y (fma.f64 2 x y))
▶28.1b
(*.f64 y y)
Compiler

Compiled 27 to 15 computations (44.4% saved)

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize16.0ms (0.8%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 y (fma.f64 2 x y))
Compiler

Compiled 15 to 8 computations (46.7% saved)

series7.0ms (0.4%)

Counts
1 → 24
Calls

6 calls:

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

rewrite85.0ms (4.5%)

Algorithm
1×batch-egg-rewrite
Rules
552×pow1_binary64
531×add-sqr-sqrt_binary64
507×add-log-exp_binary64
507×log1p-expm1-u_binary64
507×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify185.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×cube-prod_binary64
550×fabs-mul_binary64
473×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4167177
5467177
61572177
72818177
83173177
93395177
103617177
113935177
124357177
134870177
145442177
156136177
166986177
177379177
187667177
197947177
Stop Event
1×node limit
Counts
37 → 19
Calls
Call 1
Inputs
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
Outputs
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 x (*.f64 2 y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(*.f64 y (+.f64 (*.f64 2 x) y))
(*.f64 y (fma.f64 2 x y))

eval16.0ms (0.8%)

Compiler

Compiled 147 to 90 computations (38.8% saved)

prune10.0ms (0.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New17219
Fresh000
Picked011
Done033
Total17623
Error
0b
Counts
23 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
▶27.9b
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
✓28.1b
(*.f64 y y)
▶54.6b
(*.f64 x (*.f64 2 y))
✓0.0b
(*.f64 (+.f64 x y) (+.f64 x y))
✓27.4b
(*.f64 x x)
✓27.9b
(*.f64 y (fma.f64 2 x y))
Compiler

Compiled 45 to 27 computations (40% saved)

localize16.0ms (0.8%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

localize22.0ms (1.2%)

Local error

Found 1 expressions with local error:

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

Compiled 25 to 13 computations (48% saved)

series6.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@0
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
1.0ms
x
@0
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
1.0ms
y
@inf
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
1.0ms
x
@inf
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
1.0ms
x
@-inf
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))

rewrite74.0ms (3.9%)

Algorithm
1×batch-egg-rewrite
Rules
890×pow1_binary64
828×add-log-exp_binary64
827×log1p-expm1-u_binary64
827×expm1-log1p-u_binary64
809×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify172.0ms (9.1%)

Algorithm
1×egg-herbie
Rules
778×sqr-pow_binary64
582×fma-def_binary64
555×cube-prod_binary64
546×fabs-mul_binary64
475×associate-*l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
08231
119231
237213
375177
4166177
5465177
61574177
72818177
83173177
93396177
103618177
113936177
124358177
134873177
145445177
156135177
166989177
177382177
187672177
197946177
Stop Event
1×node limit
Counts
64 → 45
Calls
Call 1
Inputs
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(*.f64 2 (*.f64 y x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(pow.f64 y 2)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
Outputs
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(*.f64 2 (*.f64 y x))
(*.f64 y (*.f64 x 2))
(*.f64 y (*.f64 2 x))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))
(+.f64 (*.f64 2 (*.f64 y x)) (pow.f64 y 2))
(fma.f64 2 (*.f64 y x) (*.f64 y y))
(fma.f64 y y (*.f64 y (*.f64 x 2)))
(*.f64 y (+.f64 y (*.f64 2 x)))
(*.f64 y (fma.f64 2 x y))

eval16.0ms (0.9%)

Compiler

Compiled 613 to 375 computations (38.8% saved)

prune9.0ms (0.5%)

Pruning

6 alts after pruning (0 fresh and 6 done)

PrunedKeptTotal
New45045
Fresh000
Picked011
Done055
Total45651
Error
0b
Counts
51 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
✓27.9b
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
✓28.1b
(*.f64 y y)
✓54.6b
(*.f64 x (*.f64 2 y))
✓0.0b
(*.f64 (+.f64 x y) (+.f64 x y))
✓27.4b
(*.f64 x x)
✓27.9b
(*.f64 y (fma.f64 2 x y))
Compiler

Compiled 45 to 27 computations (40% saved)

regimes28.0ms (1.5%)

Counts
6 → 1
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 y y)
(*.f64 x (*.f64 2 y))
(*.f64 (+.f64 x y) (+.f64 x y))
(+.f64 (*.f64 (*.f64 2 x) y) (*.f64 y y))
(*.f64 y (fma.f64 2 x y))
Outputs
(*.f64 (+.f64 x y) (+.f64 x y))
Calls

4 calls:

8.0ms
y
7.0ms
(+.f64 x y)
6.0ms
x
5.0ms
(*.f64 (+.f64 x y) (+.f64 x y))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(*.f64 (+.f64 x y) (+.f64 x y))
0.0b1(+.f64 x y)
Compiler

Compiled 55 to 27 computations (50.9% saved)

regimes29.0ms (1.5%)

Accuracy

Total -48.4b remaining (-734%)

Threshold costs -48.4b (-734%)

Counts
3 → 2
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 y y)
(*.f64 x (*.f64 2 y))
Outputs
(*.f64 x x)
(*.f64 y y)
Calls

2 calls:

14.0ms
y
14.0ms
x
Results
ErrorSegmentsBranch
7.0b2x
6.6b2y
Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch15.0ms (0.8%)

Algorithm
1×binary-search
Steps
TimeLeftRight
15.0ms
8.64260386181384e-164
1.2806312222788662e-162
Compiler

Compiled 14 to 8 computations (42.9% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01128
11228
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (+.f64 x y))
(if (<=.f64 y 700441782817725/8104522595470689372094546608771799123071184047348509570304018222052056272290836223436927829974812098219136497287696853871865529444163623648216552410378835326291370709768573288448) (*.f64 x x) (*.f64 y y))
(*.f64 x x)
Outputs
(*.f64 (+.f64 x y) (+.f64 x y))
(if (<=.f64 y 700441782817725/8104522595470689372094546608771799123071184047348509570304018222052056272290836223436927829974812098219136497287696853871865529444163623648216552410378835326291370709768573288448) (*.f64 x x) (*.f64 y y))
(*.f64 x x)
Compiler

Compiled 26 to 14 computations (46.2% saved)

soundness0.0ms (0%)

end23.0ms (1.2%)

Remove

(sort x y)

Compiler

Compiled 40 to 17 computations (57.5% saved)

Profiling

Loading profile data...