Details

Time bar (total: 2.1s)

analyze283.0ms (13.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0484328
1484328
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50.1%13
49.9%0%50.1%14
Compiler

Compiled 21 to 17 computations (19% saved)

sample19.0ms (0.9%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 41 to 34 computations (17.1% saved)

simplify182.0ms (8.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (177.0ms)

IterNodesCost
0484328
1484328

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Compiler

Compiled 56 to 44 computations (21.4% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 2 (*.f64 (*.f64 v v) 6))
0.0b
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.2b
(*.f64 (*.f64 v v) 6)

rewrite44.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
20×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
16×add-sqr-sqrt_binary64_1805
13×flip3--_binary64_1787 flip--_binary64_1758
12×associate-*r/_binary64_1725 sqrt-div_binary64_1800
11×*-un-lft-identity_binary64_1783 pow1_binary64_1844
10×add-cube-cbrt_binary64_1818
9×associate-*r*_binary64_1723
8×associate-/r/_binary64_1729 frac-times_binary64_1793
7×cbrt-unprod_binary64_1816 prod-exp_binary64_1832
6×associate-*l*_binary64_1724 add-log-exp_binary64_1822
4×associate-*l/_binary64_1726 sqrt-prod_binary64_1799 pow-prod-down_binary64_1854
3×associate-/l*_binary64_1728 times-frac_binary64_1789 cbrt-undiv_binary64_1817 div-exp_binary64_1834 unswap-sqr_binary64_1751
2×difference-of-squares_binary64_1752 *-commutative_binary64_1714
1×div-inv_binary64_1780 cancel-sign-sub-inv_binary64_1749 associate-/r*_binary64_1727 diff-log_binary64_1875 frac-2neg_binary64_1794 clear-num_binary64_1782 sub-neg_binary64_1776
Counts
4 → 94
Calls

4 calls:

15.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
10.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
6.0ms
(*.f64 (*.f64 v v) 6)
4.0ms
(-.f64 2 (*.f64 (*.f64 v v) 6))

series198.0ms (9.3%)

Counts
4 → 12
Calls

4 calls:

99.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
48.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
34.0ms
(-.f64 2 (*.f64 (*.f64 v v) 6))
17.0ms
(*.f64 (*.f64 v v) 6)

simplify76.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049312615
149312615

prune133.0ms (6.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1051106
Fresh101
Picked011
Done000
Total1062108
Error
0b
Counts
108 → 2
Compiler

Compiled 2847 to 1920 computations (32.6% saved)

localize13.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (/.f64 4/3 PI.f64) (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.2b
(*.f64 (*.f64 v v) 6)
1.0b
(/.f64 4/3 PI.f64)

rewrite45.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
40×times-frac_binary64_1789
36×add-sqr-sqrt_binary64_1805
31×*-un-lft-identity_binary64_1783
30×add-cube-cbrt_binary64_1818
25×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
16×associate-/l*_binary64_1728
12×flip3--_binary64_1787 sqrt-div_binary64_1800 flip--_binary64_1758
11×pow1_binary64_1844
9×associate-*r*_binary64_1723
8×associate-/r/_binary64_1729 frac-times_binary64_1793
7×cbrt-undiv_binary64_1817 div-exp_binary64_1834
6×cbrt-unprod_binary64_1816 prod-exp_binary64_1832 associate-*l*_binary64_1724
4×associate-*r/_binary64_1725 div-inv_binary64_1780 associate-/r*_binary64_1727 associate-*l/_binary64_1726 sqrt-prod_binary64_1799 pow-prod-down_binary64_1854 add-log-exp_binary64_1822
3×unswap-sqr_binary64_1751
2×difference-of-squares_binary64_1752 *-commutative_binary64_1714 frac-2neg_binary64_1794 clear-num_binary64_1782
1×associate-/l/_binary64_1730
Counts
4 → 132
Calls

4 calls:

14.0ms
(/.f64 (/.f64 4/3 PI.f64) (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
10.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
6.0ms
(*.f64 (*.f64 v v) 6)
3.0ms
(/.f64 4/3 PI.f64)

series163.0ms (7.7%)

Counts
4 → 10
Calls

4 calls:

96.0ms
(/.f64 (/.f64 4/3 PI.f64) (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))))
50.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
17.0ms
(*.f64 (*.f64 v v) 6)
0.0ms
(/.f64 4/3 PI.f64)

simplify80.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049533504
149533504

prune182.0ms (8.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh000
Picked011
Done011
Total1422144
Error
0b
Counts
144 → 2
Compiler

Compiled 3717 to 2458 computations (33.9% saved)

regimes43.0ms (2%)

Accuracy

Total 0.0b remaining (80.8%)

Threshold costs 0.0b (80.8%)

Compiler

Compiled 392 to 310 computations (20.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05328
15328

end0.0ms (0%)

sample650.0ms (30.5%)

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

Compiled 116 to 93 computations (19.8% saved)

Profiling

Loading profile data...