Details

Time bar (total: 1.3s)

analyze255.0ms (19.3%)

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)

sample17.0ms (1.3%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify9.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11311
21411
31211

prune4.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.4b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 16 to 12 computations (25% saved)

localize6.0ms (0.5%)

Local error

Found 1 expressions with local error:

0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

rewrite48.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
19×add-sqr-sqrt_binary64
14×sqrt-prod_binary64
10×associate-*l*_binary64
8×*-un-lft-identity_binary64
6×associate-*r*_binary64
Counts
1 → 37
Calls

1 calls:

11.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 389 to 254 computations (34.7% saved)

series24.0ms (1.8%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

18.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 109 to 85 computations (22% saved)

simplify97.0ms (7.4%)

Algorithm
1×egg-herbie
Rules
633×distribute-rgt-in_binary64
498×distribute-lft-in_binary64
340×associate-*l*_binary64
304×sub-neg_binary64
245×unswap-sqr_binary64
Counts
43 → 26
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
074576
1151564
2348564
3704564
41685554
54302554
64677554
74896554

prune16.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh000
Picked011
Done000
Total24327
Error
0b
Counts
27 → 3
Alt Table
StatusErrorProgram
▶0.8b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
32.1b
(sqrt.f64 (-.f64 (*.f64 x x) x))
✓0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 268 to 177 computations (34% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite23.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
9×*-un-lft-identity_binary64
6×add-log-exp_binary64
4×add-sqr-sqrt_binary64 cancel-sign-sub-inv_binary64
2×diff-log_binary64 add-cube-cbrt_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64
1×sum-log_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip3--_binary64 sub-neg_binary64 flip--_binary64 difference-of-squares_binary64 associate--r+_binary64
Counts
1 → 20
Calls

1 calls:

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

Compiled 266 to 204 computations (23.3% saved)

series13.0ms (1%)

Error
0b
Counts
1 → 7
Calls

1 calls:

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

Compiled 82 to 63 computations (23.2% saved)

simplify72.0ms (5.5%)

Algorithm
1×egg-herbie
Rules
414×associate-+l+_binary64
405×times-frac_binary64
366×associate-+r+_binary64
323×distribute-neg-in_binary64
304×*-commutative_binary64
Counts
27 → 18
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054348
1132317
2317317
31289312
43088312
54835312
64975312

prune10.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New18018
Fresh011
Picked011
Done011
Total18321
Error
0b
Counts
21 → 3
Alt Table
StatusErrorProgram
✓0.8b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
▶32.1b
(sqrt.f64 (-.f64 (*.f64 x x) x))
✓0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 173 to 131 computations (24.3% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (*.f64 x x) x)
29.9b
(sqrt.f64 (-.f64 (*.f64 x x) x))

rewrite30.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64
5×sqrt-prod_binary64
4×add-log-exp_binary64 add-cube-cbrt_binary64
3×pow1_binary64 cancel-sign-sub-inv_binary64
Counts
2 → 33
Calls

2 calls:

4.0ms
(sqrt.f64 (-.f64 (*.f64 x x) x))
4.0ms
(-.f64 (*.f64 x x) x)
Compiler

Compiled 410 to 119 computations (71% saved)

series21.0ms (1.6%)

Error
0b
Counts
2 → 12
Calls

2 calls:

9.0ms
(-.f64 (*.f64 x x) x)
7.0ms
(sqrt.f64 (-.f64 (*.f64 x x) x))
Compiler

Compiled 169 to 127 computations (24.9% saved)

simplify103.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
485×unsub-neg_binary64
450×distribute-rgt-in_binary64
384×distribute-lft-in_binary64
344×*-commutative_binary64
241×difference-of-squares_binary64
Counts
45 → 25
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
075490
1151451
2335451
31167451
43400451
54617451
64981451
74810451

prune17.0ms (1.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New25025
Fresh000
Picked011
Done022
Total25328
Error
0b
Counts
28 → 3
Alt Table
StatusErrorProgram
0.8b
(-.f64 x (+.f64 1/2 (/.f64 1/8 x)))
32.1b
(sqrt.f64 (-.f64 (*.f64 x x) x))
0.4b
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 205 to 107 computations (47.8% saved)

regimes61.0ms (4.7%)

Accuracy

Total 0.5b remaining (99.9%)

Threshold costs 0.5b (99.9%)

Compiler

Compiled 450 to 318 computations (29.3% saved)

simplify3.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11311
21411
31211

end1.0ms (0.1%)

Compiler

Compiled 8 to 6 computations (25% saved)

sample477.0ms (36.2%)

Algorithm
1×intervals
Results
242.0ms8000×body128valid
0.0ms2×body128nan
Compiler

Compiled 41 to 30 computations (26.8% saved)

Profiling

Loading profile data...