Details

Time bar (total: 2.1s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample886.0ms (43%)

Results
776.0ms8256×body128valid
0.0ms5×body128invalid
Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify67.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11311
21411
31211

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.5b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 24 to 18 computations (25% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

series11.0ms (0.5%)

Counts
1 → 4
Calls

1 calls:

10.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

rewrite92.0ms (4.5%)

Algorithm
1×egg-rewrite
Rules
34×egg
Counts
1 → 34
Calls

1 calls:

91.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
11449
215579
349779
449589

simplify89.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
676×times-frac_binary64
647×sub-neg_binary64
551×fma-neg_binary64
545×associate-/r*_binary64
457×fma-def_binary64
Counts
38 → 39
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01834
14434
29934
323734
455534
5131334
6420534
7487034
8547634

prune66.0ms (3.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New37239
Fresh000
Picked011
Done000
Total37340
Error
0b
Counts
40 → 3
Alt Table
StatusErrorProgram
▶0.5b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
43.1b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 456 to 339 computations (25.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))

rewrite66.0ms (3.2%)

Algorithm
1×egg-rewrite
Rules
95×egg
Counts
1 → 95
Calls

1 calls:

64.0ms
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
116810
2224410
3490310

simplify180.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
180×fma-neg_binary64
118×fma-def_binary64
47×cancel-sign-sub-inv_binary64
36×associate-/l*_binary64
34×sub-neg_binary64
Counts
107 → 102
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01383
12981
25881
39881
416381
522281
629781
736581
840981
946381
1049181
1151181
1252981
1344381

prune117.0ms (5.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1020102
Fresh011
Picked011
Done011
Total1023105
Error
0b
Counts
105 → 3
Alt Table
StatusErrorProgram
✓0.5b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
▶43.1b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 2475 to 1851 computations (25.2% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3)
✓28.4b
(sqrt.f64 (*.f64 x (-.f64 x 1)))
✓40.5b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))

series22.0ms (1%)

Counts
3 → 24
Calls

3 calls:

10.0ms
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3)
6.0ms
(sqrt.f64 (*.f64 x (-.f64 x 1)))
5.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))

rewrite239.0ms (11.6%)

Algorithm
3×egg-rewrite
Rules
52×egg
36×egg
30×egg
Counts
3 → 118
Calls

3 calls:

109.0ms
(pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3)
80.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))
48.0ms
(sqrt.f64 (*.f64 x (-.f64 x 1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
11729
218219
349809
448329
069
11259
214029
354849
0810
117010
2178410
3487510
4496410
5495810

simplify81.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
591×fma-def_binary64
480×distribute-rgt-neg-in_binary64
449×sub-neg_binary64
363×neg-mul-1_binary64
332×neg-sub0_binary64
Counts
142 → 123
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038250
1111235
2294231
3795224
42058224
53381224
64303224
74839224

prune53.0ms (2.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1230123
Fresh000
Picked011
Done022
Total1233126
Error
0b
Counts
126 → 3
Alt Table
StatusErrorProgram
✓0.5b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
✓43.1b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (-.f64 x 1))) 3))
✓0.5b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 1678 to 1280 computations (23.7% saved)

regimes21.0ms (1%)

Accuracy

Total 0.5b remaining (99.3%)

Threshold costs 0.5b (99.3%)

Counts
9 → 1
Compiler

Compiled 150 to 114 computations (24% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11311
21411
31211

end47.0ms (2.3%)

Compiler

Compiled 42 to 32 computations (23.8% saved)

Profiling

Loading profile data...