Details

Time bar (total: 4.4s)

analyze43.0ms (1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
56.2%43.7%0.1%5
65.6%34.3%0.1%6
79.6%20.3%0.1%7
83.5%16.4%0.1%8
90.1%9.8%0.1%9
91.9%8%0.1%10
95.1%4.8%0.1%11
96%4%0.1%12
97.5%2.4%0.1%13
97.9%2%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample301.0ms (6.9%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 25 to 17 computations (32% saved)

simplify281.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
1222×fma-neg_binary64
983×fma-def_binary64
688×div-sub_binary64
423×sub-neg_binary64
412×distribute-rgt-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11813
23513
37413
415113
524513
664113
7112513
8215813
9272913
10303713
11299513
12304913
13306313
14356913
15355913
16355913
17355913
18355913
19355913
20365513
21370313
22378513
23359313

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

series16.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

16.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite19.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
58×*-un-lft-identity_binary64
40×add-sqr-sqrt_binary64
30×times-frac_binary64
19×distribute-lft-out--_binary64
14×add-cube-cbrt_binary64
Counts
1 → 60
Calls

1 calls:

14.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

simplify86.0ms (2%)

Algorithm
1×egg-herbie
Rules
702×fma-def_binary64
518×times-frac_binary64
339×fma-neg_binary64
291×distribute-rgt-in_binary64
228×cancel-sign-sub-inv_binary64
Counts
84 → 109
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02242433
16352369
221152256
348532256
450452256

prune85.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1063109
Fresh000
Picked011
Done000
Total1064110
Error
0b
Counts
110 → 4
Alt Table
StatusErrorProgram
27.3b
(-.f64 (+.f64 (*.f64 (+.f64 (/.f64 x (-.f64 2 y)) 1) (/.f64 x (-.f64 2 y))) (pow.f64 (/.f64 x (-.f64 2 y)) 3)) (fma.f64 (/.f64 y (pow.f64 (-.f64 2 y) 4)) (pow.f64 x 3) (+.f64 (/.f64 y (-.f64 2 y)) (*.f64 (/.f64 y (pow.f64 (-.f64 2 y) 2)) (+.f64 x (/.f64 (*.f64 x x) (-.f64 2 y)))))))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
▶6.3b
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3))
37.6b
(-.f64 (+.f64 1 (+.f64 (/.f64 2 y) (+.f64 (/.f64 8 (pow.f64 y 3)) (+.f64 (/.f64 4 (*.f64 y y)) (*.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (+.f64 2 (/.f64 10 y))))))) (fma.f64 2 (+.f64 (/.f64 x y) (pow.f64 (/.f64 x y) 3)) (*.f64 (/.f64 x (*.f64 y y)) (+.f64 6 (/.f64 16 y)))))
Compiler

Compiled 2816 to 1481 computations (47.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))
✓0.0b
(pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3)
✓6.3b
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3))

series97.0ms (2.2%)

Counts
3 → 72
Calls

3 calls:

50.0ms
(pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3)
31.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3))
16.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))

rewrite68.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
258×*-un-lft-identity_binary64
180×add-sqr-sqrt_binary64
150×times-frac_binary64
83×distribute-lft-out--_binary64
78×cbrt-prod_binary64
Counts
3 → 244
Calls

3 calls:

15.0ms
(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3))
13.0ms
(pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3)
8.0ms
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))

simplify161.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
324×fma-def_binary64
275×times-frac_binary64
264×associate-/l*_binary64
235×associate-/r*_binary64
183×associate-*r/_binary64
Counts
316 → 219
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051010185
116189749
250119749

prune203.0ms (4.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2172219
Fresh202
Picked101
Done011
Total2203223
Error
0b
Counts
223 → 3
Alt Table
StatusErrorProgram
10.2b
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
▶7.1b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))
Compiler

Compiled 6701 to 3930 computations (41.4% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))
✓0.5b
(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
✓0.5b
(cbrt.f64 (-.f64 x y))
✓6.3b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))

series166.0ms (3.8%)

Counts
4 → 96
Calls

4 calls:

76.0ms
(/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))
39.0ms
(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
31.0ms
(cbrt.f64 (-.f64 x y))
19.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))

rewrite94.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
260×*-un-lft-identity_binary64
252×times-frac_binary64
252×cbrt-prod_binary64
187×add-sqr-sqrt_binary64
81×add-cube-cbrt_binary64
Counts
4 → 292
Calls

4 calls:

23.0ms
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))
11.0ms
(/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))
9.0ms
(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
2.0ms
(cbrt.f64 (-.f64 x y))

simplify232.0ms (5.3%)

Algorithm
1×egg-herbie
Rules
396×fma-def_binary64
264×sqr-pow_binary64
175×sub-neg_binary64
161×times-frac_binary64
150×*-commutative_binary64
Counts
388 → 391
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
078014141
1230913650
2496413650

prune355.0ms (8.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New4950495
Fresh011
Picked011
Done011
Total4953498
Error
0b
Counts
498 → 3
Alt Table
StatusErrorProgram
▶10.2b
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
✓7.1b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))
Compiler

Compiled 19426 to 9566 computations (50.8% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3)
✓0.1b
(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)
✓3.8b
(cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3))
✓6.3b
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))

series234.0ms (5.4%)

Counts
3 → 72
Calls

3 calls:

111.0ms
(cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3))
85.0ms
(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)
38.0ms
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))

rewrite182.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Rules
601×*-un-lft-identity_binary64
489×cbrt-prod_binary64
450×cube-prod_binary64
450×unpow-prod-down_binary64
421×add-sqr-sqrt_binary64
Counts
3 → 529
Calls

3 calls:

36.0ms
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))
23.0ms
(cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3))
17.0ms
(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)

simplify432.0ms (9.9%)

Algorithm
1×egg-herbie
Rules
760×fma-def_binary64
504×times-frac_binary64
232×+-commutative_binary64
207×*-commutative_binary64
162×associate-+r+_binary64
Counts
601 → 318
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
097023509
1314121499
2497521499
3496121499

prune378.0ms (8.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New4040404
Fresh000
Picked011
Done022
Total4043407
Error
0b
Counts
407 → 3
Alt Table
StatusErrorProgram
✓10.2b
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))) 3) 3)))
✓0.0b
(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
✓7.1b
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (/.f64 (-.f64 2 (+.f64 y x)) (cbrt.f64 (-.f64 x y)))) 3))
Compiler

Compiled 16226 to 10657 computations (34.3% saved)

regimes269.0ms (6.2%)

Accuracy

Total 0.0b remaining (35.9%)

Threshold costs 0.0b (35.9%)

Counts
82 → 1
Compiler

Compiled 5605 to 3670 computations (34.5% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11313
22413
33213
43613
53713
63713

end7.0ms (0.2%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample617.0ms (14.1%)

Algorithm
1×intervals
Results
271.0ms7999×body128valid
0.0ms1×body256valid
Compiler

Compiled 78 to 50 computations (35.9% saved)

Profiling

Loading profile data...