Details

Time bar (total: 4.1s)

analyze95.0ms (2.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02110
12110
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%25%13
75%0%25%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.3%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02110
12110

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (-.f64 (*.f64 x x) 3) 6)

rewrite47.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
14×add-sqr-sqrt_binary64_2146
12×times-frac_binary64_2130
10×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
4×difference-of-squares_binary64_2093 associate-/l*_binary64_2069
3×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160 associate-/r*_binary64_2068
2×associate-/l/_binary64_2071
1×pow1_binary64_2185 div-exp_binary64_2175 add-log-exp_binary64_2163 cbrt-undiv_binary64_2158 frac-2neg_binary64_2135 div-sub_binary64_2129 clear-num_binary64_2123 div-inv_binary64_2121 flip3--_binary64_2128 flip--_binary64_2099
Counts
1 → 34
Calls

1 calls:

8.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)
Compiler

Compiled 535 to 366 computations (31.6% saved)

series56.0ms (1.4%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

50.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)
Compiler

Compiled 85 to 82 computations (3.5% saved)

simplify59.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04883617
14883617

prune40.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New36440
Fresh000
Picked011
Done000
Total36541
Error
0b
Counts
41 → 5
Compiler

Compiled 574 to 396 computations (31% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 1/6 (*.f64 x x))

rewrite21.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×pow1_binary64_2185 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
3×pow-prod-down_binary64_2195 prod-exp_binary64_2173 cbrt-unprod_binary64_2157 add-sqr-sqrt_binary64_2146 associate-*l*_binary64_2065
2×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
1×add-log-exp_binary64_2163 unswap-sqr_binary64_2092 associate-*r*_binary64_2064 *-commutative_binary64_2055
Counts
1 → 19
Calls

1 calls:

6.0ms
(*.f64 1/6 (*.f64 x x))
Compiler

Compiled 231 to 151 computations (34.6% saved)

series27.0ms (0.7%)

Error
0b
Counts
1 → 3
Calls

1 calls:

25.0ms
(*.f64 1/6 (*.f64 x x))
Compiler

Compiled 63 to 61 computations (3.2% saved)

simplify91.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
05390180

prune22.0ms (0.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh033
Picked011
Done011
Total22527
Error
0b
Counts
27 → 5
Compiler

Compiled 264 to 191 computations (27.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 x (sqrt.f64 3))
0.0b
(+.f64 x (sqrt.f64 3))
0.1b
(/.f64 (+.f64 x (sqrt.f64 3)) (/.f64 6 (-.f64 x (sqrt.f64 3))))
0.6b
(/.f64 6 (-.f64 x (sqrt.f64 3)))

rewrite362.0ms (8.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
204×times-frac_binary64_2130
184×*-un-lft-identity_binary64_2124
172×add-sqr-sqrt_binary64_2146
92×add-cube-cbrt_binary64_2159
40×difference-of-squares_binary64_2093
30×associate-/r*_binary64_2068
26×distribute-lft-out_binary64_2075
23×sqrt-prod_binary64_2140
20×distribute-lft-out--_binary64_2076
13×associate-/r/_binary64_2070
11×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
8×add-log-exp_binary64_2163
7×div-inv_binary64_2121 flip3--_binary64_2128 flip--_binary64_2099 associate-/l*_binary64_2069
6×cancel-sign-sub-inv_binary64_2090
4×pow1_binary64_2185 div-exp_binary64_2175 cbrt-undiv_binary64_2158
2×frac-2neg_binary64_2135 clear-num_binary64_2123 flip3-+_binary64_2127 associate-/l/_binary64_2071 flip-+_binary64_2098
1×sum-log_binary64_2215 +-commutative_binary64_2054 diff-log_binary64_2216 sub-neg_binary64_2117
Counts
4 → 214
Calls

4 calls:

15.0ms
(/.f64 (+.f64 x (sqrt.f64 3)) (/.f64 6 (-.f64 x (sqrt.f64 3))))
6.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
5.0ms
(-.f64 x (sqrt.f64 3))
4.0ms
(+.f64 x (sqrt.f64 3))
Compiler

Compiled 4999 to 4208 computations (15.8% saved)

series241.0ms (5.9%)

Error
0b
Counts
4 → 30
Calls

4 calls:

98.0ms
(/.f64 (+.f64 x (sqrt.f64 3)) (/.f64 6 (-.f64 x (sqrt.f64 3))))
56.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
33.0ms
(-.f64 x (sqrt.f64 3))
27.0ms
(+.f64 x (sqrt.f64 3))
Compiler

Compiled 1044 to 939 computations (10.1% saved)

simplify108.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
244 → 244
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
051005830

prune321.0ms (7.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New2431244
Fresh112
Picked011
Done022
Total2445249
Error
0b
Counts
249 → 5
Compiler

Compiled 4835 to 3955 computations (18.2% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (/.f64 6 (-.f64 x (sqrt.f64 3))))
0.6b
(/.f64 6 (-.f64 x (sqrt.f64 3)))
0.6b
(/.f64 6 (-.f64 x (sqrt.f64 3)))
0.6b
(/.f64 6 (-.f64 x (sqrt.f64 3)))

rewrite440.0ms (10.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
107×add-sqr-sqrt_binary64_2146
77×*-un-lft-identity_binary64_2124
72×times-frac_binary64_2130
47×add-cube-cbrt_binary64_2159
30×difference-of-squares_binary64_2093
24×cbrt-prod_binary64_2155
18×associate-/r*_binary64_2068
15×sqrt-prod_binary64_2140 distribute-lft-out--_binary64_2076
10×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
9×associate-/l*_binary64_2069
8×associate-/r/_binary64_2070
4×pow1_binary64_2185 add-log-exp_binary64_2163 div-inv_binary64_2121 flip3--_binary64_2128 flip--_binary64_2099
3×div-exp_binary64_2175 cbrt-undiv_binary64_2158 frac-2neg_binary64_2135 clear-num_binary64_2123
1×pow1/3_binary64_2206 cbrt-div_binary64_2156
Counts
4 → 156
Calls

4 calls:

7.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
7.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
7.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
6.0ms
(cbrt.f64 (/.f64 6 (-.f64 x (sqrt.f64 3))))
Compiler

Compiled 5794 to 4981 computations (14% saved)

series394.0ms (9.6%)

Error
0b
Counts
4 → 42
Calls

4 calls:

87.0ms
(cbrt.f64 (/.f64 6 (-.f64 x (sqrt.f64 3))))
74.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
70.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
66.0ms
(/.f64 6 (-.f64 x (sqrt.f64 3)))
Compiler

Compiled 3675 to 3281 computations (10.7% saved)

simplify93.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
198 → 198
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050353741

prune558.0ms (13.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1980198
Fresh011
Picked011
Done033
Total1985203
Error
0b
Counts
203 → 5
Compiler

Compiled 7078 to 6046 computations (14.6% saved)

regimes221.0ms (5.4%)

Accuracy

Total 0.1b remaining (99.2%)

Threshold costs 0.1b (99.2%)

Compiler

Compiled 2404 to 1931 computations (19.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01810
11810

end0.0ms (0%)

sample869.0ms (21.1%)

Algorithm
1×intervals
Results
170.0ms8000×body128valid
Compiler

Compiled 510 to 415 computations (18.6% saved)

Profiling

Loading profile data...