Details

Time bar (total: 2.8s)

analyze6.0ms (0.2%)

Algorithm
1×search
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)

sample18.0ms (0.7%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 41 to 34 computations (17.1% saved)

simplify418.0ms (15%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (268.0ms)

IterNodesCost
0484328
1484328

prune10.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 56 to 44 computations (21.4% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.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.2b
(*.f64 (*.f64 v v) 6)

rewrite69.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Rules
19×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
15×add-sqr-sqrt_binary64_782
12×sqrt-div_binary64_777 associate-*r/_binary64_702 flip--_binary64_735 flip3--_binary64_764
10×*-un-lft-identity_binary64_760 pow1_binary64_821
9×add-cube-cbrt_binary64_795 associate-*r*_binary64_700
8×associate-/r/_binary64_706 frac-times_binary64_770
7×prod-exp_binary64_809 cbrt-unprod_binary64_793
6×associate-*l*_binary64_701
4×associate-*l/_binary64_703 sqrt-prod_binary64_776 pow-prod-down_binary64_831
3×unswap-sqr_binary64_728 cbrt-undiv_binary64_794 add-log-exp_binary64_799 associate-/l*_binary64_705 div-exp_binary64_811 times-frac_binary64_766
2×difference-of-squares_binary64_729 *-commutative_binary64_691
1×frac-2neg_binary64_771 associate-/r*_binary64_704 div-inv_binary64_757 clear-num_binary64_759
Counts
3 → 82
Calls

3 calls:

24.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
19.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
9.0ms
(*.f64 (*.f64 v v) 6)

series253.0ms (9.1%)

Counts
3 → 9
Calls

3 calls:

146.0ms
(/.f64 4/3 (*.f64 PI.f64 (*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
75.0ms
(*.f64 (-.f64 1 (*.f64 v v)) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
31.0ms
(*.f64 (*.f64 v v) 6)

simplify87.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
051852411

prune205.0ms (7.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New91091
Fresh011
Picked011
Done000
Total91293
Error
0b
Counts
93 → 2
Compiler

Compiled 2515 to 1705 computations (32.2% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite103.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Rules
37×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
23×pow1_binary64_821
18×prod-exp_binary64_809 associate-*r/_binary64_702 cbrt-unprod_binary64_793
13×flip--_binary64_735 flip3--_binary64_764
12×sqrt-div_binary64_777 associate-*r*_binary64_700 pow-prod-down_binary64_831 add-sqr-sqrt_binary64_782
11×*-un-lft-identity_binary64_760
10×add-cube-cbrt_binary64_795
8×associate-/r/_binary64_706 frac-times_binary64_770
5×associate-*l*_binary64_701
4×cbrt-undiv_binary64_794 associate-*l/_binary64_703 add-log-exp_binary64_799 div-exp_binary64_811
3×sqrt-prod_binary64_776 associate-/l*_binary64_705 times-frac_binary64_766 *-commutative_binary64_691
2×cancel-sign-sub-inv_binary64_726 distribute-lft-in_binary64_709 difference-of-squares_binary64_729 distribute-rgt-in_binary64_710 sub-neg_binary64_753
1×unswap-sqr_binary64_728 frac-2neg_binary64_771 associate-/r*_binary64_704 div-inv_binary64_757 clear-num_binary64_759
Counts
4 → 110
Calls

4 calls:

25.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
24.0ms
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
15.0ms
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
14.0ms
(*.f64 6 (*.f64 v v))

series287.0ms (10.3%)

Counts
4 → 12
Calls

4 calls:

116.0ms
(/.f64 4 (*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v))))))
90.0ms
(*.f64 (*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 6 (*.f64 v v)))))
63.0ms
(*.f64 (*.f64 3 PI.f64) (-.f64 1 (*.f64 v v)))
18.0ms
(*.f64 6 (*.f64 v v))

simplify120.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049133173
149133173

prune241.0ms (8.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1220122
Fresh000
Picked011
Done011
Total1222124
Error
0b
Counts
124 → 2
Compiler

Compiled 3346 to 2296 computations (31.4% saved)

regimes77.0ms (2.8%)

Accuracy

Total 0.0b remaining (80.5%)

Threshold costs 0.0b (80.5%)

Compiler

Compiled 308 to 242 computations (21.4% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05428
15428

end0.0ms (0%)

sample864.0ms (31%)

Algorithm
1×intervals
Results
540.0ms8000×body128valid
0.0ms3×body128nan
Compiler

Compiled 95 to 76 computations (20% saved)

Profiling

Loading profile data...