Details

Time bar (total: 11.1s)

analyze237.0ms (2.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0497880
1497880
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%50%50%4
0%50%50%5
12.5%37.5%50%6
18.7%31.2%50%7
28.1%21.9%50%8
32.8%17.2%50%9
38.2%11.7%50%10
41%9%50%11
43.9%6%50%12
45.4%4.6%50%13
46.9%3.1%50%14
Compiler

Compiled 29 to 22 computations (24.1% saved)

sample27.0ms (0.2%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
0.0ms1×body128nan
Compiler

Compiled 57 to 45 computations (21.1% saved)

simplify58.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0499040
1499040

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.3b
Counts
2 → 1
Compiler

Compiled 52 to 40 computations (23.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 v (*.f64 -6 v))
0.3b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
0.3b
(*.f64 PI.f64 t)
0.5b
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))

rewrite297.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
34×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
20×pow1_binary64_2185
16×prod-exp_binary64_2173 cbrt-unprod_binary64_2157 associate-*r/_binary64_2066
13×add-sqr-sqrt_binary64_2146
12×sqrt-div_binary64_2141 associate-*l*_binary64_2065
11×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
10×pow-prod-down_binary64_2195
8×frac-times_binary64_2134 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073 associate-/r/_binary64_2070
7×flip3--_binary64_2128 flip--_binary64_2099
6×flip3-+_binary64_2127 flip-+_binary64_2098
5×associate-*r*_binary64_2064
4×add-log-exp_binary64_2163 sub-neg_binary64_2117 cancel-sign-sub-inv_binary64_2090 associate-*l/_binary64_2067 div-exp_binary64_2175 cbrt-undiv_binary64_2158
3×sqrt-prod_binary64_2140 *-commutative_binary64_2055 times-frac_binary64_2130 associate-/l*_binary64_2069
2×associate-/l/_binary64_2071
1×unswap-sqr_binary64_2092 frac-2neg_binary64_2135 div-sub_binary64_2129 clear-num_binary64_2123 div-inv_binary64_2121 associate-/r*_binary64_2068
Counts
4 → 112
Calls

4 calls:

17.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
17.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
6.0ms
(*.f64 v (*.f64 -6 v))
4.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 4510 to 2712 computations (39.9% saved)

series627.0ms (5.7%)

Error
0.1b
Counts
4 → 22
Calls

4 calls:

336.0ms
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v)))))
206.0ms
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 v (*.f64 -6 v)))) (*.f64 (*.f64 PI.f64 t) (-.f64 1 (*.f64 v v))))
26.0ms
(*.f64 v (*.f64 -6 v))
24.0ms
(*.f64 PI.f64 t)
Compiler

Compiled 1928 to 1504 computations (22% saved)

simplify82.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
054063924

prune238.0ms (2.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1295134
Fresh000
Picked101
Done000
Total1305135
Error
0.0b
Counts
135 → 5
Compiler

Compiled 4639 to 2787 computations (39.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 5 (*.f64 v v))
0.3b
(*.f64 t PI.f64)
0.5b
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
1.0b
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))

rewrite428.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
78×times-frac_binary64_2130
54×add-exp-log_binary64_2162
51×add-sqr-sqrt_binary64_2146
48×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
34×add-cbrt-cube_binary64_2160
30×sqrt-prod_binary64_2140
27×associate-/l*_binary64_2069
20×div-exp_binary64_2175
16×prod-exp_binary64_2173
13×pow1_binary64_2185
10×cbrt-undiv_binary64_2158 cbrt-unprod_binary64_2157
8×associate-/r/_binary64_2070
7×associate-/r*_binary64_2068
6×sqrt-div_binary64_2141 associate-*l*_binary64_2065
4×1-exp_binary64_2168 rec-exp_binary64_2174 add-log-exp_binary64_2163 div-inv_binary64_2121 flip3--_binary64_2128 flip--_binary64_2099 pow-prod-down_binary64_2195 associate-*r*_binary64_2064
3×pow-flip_binary64_2198
2×frac-2neg_binary64_2135 clear-num_binary64_2123 associate-*l/_binary64_2067 unswap-sqr_binary64_2092 *-commutative_binary64_2055
1×inv-pow_binary64_2209 pow1/2_binary64_2204 sqrt-pow1_binary64_2142 associate-/l/_binary64_2071
Counts
4 → 164
Calls

4 calls:

17.0ms
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
7.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
6.0ms
(*.f64 5 (*.f64 v v))
4.0ms
(*.f64 t PI.f64)
Compiler

Compiled 6493 to 4019 computations (38.1% saved)

series419.0ms (3.8%)

Error
0.0b
Counts
4 → 19
Calls

4 calls:

278.0ms
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
58.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
31.0ms
(*.f64 5 (*.f64 v v))
27.0ms
(*.f64 t PI.f64)
Compiler

Compiled 1761 to 1339 computations (24% saved)

simplify107.0ms (1%)

Algorithm
1×egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049554633
149554633

prune353.0ms (3.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1821183
Fresh134
Picked011
Done000
Total1835188
Error
0b
Counts
188 → 5
Compiler

Compiled 6504 to 4058 computations (37.6% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
0.3b
(*.f64 t PI.f64)
0.4b
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64))))
1.0b
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))

rewrite951.0ms (8.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
91×sqrt-prod_binary64_2140
88×times-frac_binary64_2130
82×add-sqr-sqrt_binary64_2146
66×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
49×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
45×associate-*l*_binary64_2065
18×prod-exp_binary64_2173 cbrt-unprod_binary64_2157
15×associate-*r*_binary64_2064
14×div-exp_binary64_2175 cbrt-undiv_binary64_2158
12×associate-/l*_binary64_2069
8×pow1_binary64_2185 sqrt-div_binary64_2141 associate-/r/_binary64_2070
7×associate-/r*_binary64_2068
6×flip3--_binary64_2128 flip--_binary64_2099 unswap-sqr_binary64_2092
5×associate-*l/_binary64_2067
4×add-log-exp_binary64_2163 div-inv_binary64_2121 associate-/l/_binary64_2071
2×frac-2neg_binary64_2135 clear-num_binary64_2123 pow-prod-down_binary64_2195 *-commutative_binary64_2055
1×sqrt-undiv_binary64_2145 frac-times_binary64_2134 associate-*r/_binary64_2066
Counts
4 → 203
Calls

4 calls:

32.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64))))
12.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
10.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
4.0ms
(*.f64 t PI.f64)
Compiler

Compiled 11190 to 6906 computations (38.3% saved)

series664.0ms (6%)

Error
0b
Counts
4 → 24
Calls

4 calls:

330.0ms
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64))))
213.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 t PI.f64)))
63.0ms
(/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
23.0ms
(*.f64 t PI.f64)
Compiler

Compiled 2280 to 1736 computations (23.9% saved)

simplify142.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
227 → 227
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049539117
149539117

prune729.0ms (6.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New2270227
Fresh033
Picked011
Done011
Total2275232
Error
0b
Counts
232 → 5
Compiler

Compiled 10406 to 6514 computations (37.4% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 (*.f64 t (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64))))
1.0b
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
1.0b
(sqrt.f64 PI.f64)
1.0b
(sqrt.f64 PI.f64)

rewrite406.0ms (3.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
78×times-frac_binary64_2130
68×add-exp-log_binary64_2162
49×add-sqr-sqrt_binary64_2146
47×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
38×add-cbrt-cube_binary64_2160
36×sqrt-prod_binary64_2140
27×associate-/l*_binary64_2069
26×div-exp_binary64_2175
24×prod-exp_binary64_2173
13×cbrt-undiv_binary64_2158
12×cbrt-unprod_binary64_2157
8×pow1_binary64_2185 associate-/r/_binary64_2070
7×associate-/r*_binary64_2068
6×sqrt-div_binary64_2141
5×1-exp_binary64_2168 rec-exp_binary64_2174
4×add-log-exp_binary64_2163 div-inv_binary64_2121 flip3--_binary64_2128 flip--_binary64_2099
3×pow1/2_binary64_2204 sqrt-pow1_binary64_2142 pow-flip_binary64_2198
2×rem-sqrt-square_binary64_2137 frac-2neg_binary64_2135 clear-num_binary64_2123 associate-*l/_binary64_2067
1×inv-pow_binary64_2209 associate-/l/_binary64_2071
Counts
4 → 159
Calls

4 calls:

20.0ms
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 (*.f64 t (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64))))
6.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
2.0ms
(sqrt.f64 PI.f64)
1.0ms
(sqrt.f64 PI.f64)
Compiler

Compiled 7103 to 3972 computations (44.1% saved)

series352.0ms (3.2%)

Error
0b
Counts
4 → 13
Calls

4 calls:

281.0ms
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6)))) (*.f64 (-.f64 1 (*.f64 v v)) (*.f64 (*.f64 t (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64))))
52.0ms
(/.f64 1 (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))
0.0ms
(sqrt.f64 PI.f64)
0.0ms
(sqrt.f64 PI.f64)
Compiler

Compiled 1309 to 992 computations (24.2% saved)

simplify102.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050074659

prune315.0ms (2.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1720172
Fresh022
Picked011
Done022
Total1725177
Error
0b
Counts
177 → 5
Compiler

Compiled 6361 to 3779 computations (40.6% saved)

regimes1.2s (11.1%)

Accuracy

Total 0.4b remaining (93.4%)

Threshold costs 0.4b (93.4%)

Compiler

Compiled 19499 to 14180 computations (27.3% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08355
18355

end0.0ms (0%)

sample3.2s (29.2%)

Algorithm
1×intervals
Results
536.0ms8000×body128valid
1.0ms11×body128nan
Compiler

Compiled 3617 to 2640 computations (27% saved)

Profiling

Loading profile data...