Details

Time bar (total: 3.4s)

analyze95.0ms (2.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1810
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Symmetry
Compiler

Compiled 8 to 6 computations (25% saved)

sample12.0ms (0.4%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 15 to 12 computations (20% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0810
1810

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

16.7b
(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite38.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
16.6b
Rules
9×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146 times-frac_binary64_2130 *-un-lft-identity_binary64_2124
3×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160 associate-/l*_binary64_2069 associate-/r*_binary64_2068
2×associate-/r/_binary64_2070
1×pow1_binary64_2185 div-exp_binary64_2175 add-log-exp_binary64_2163 cbrt-undiv_binary64_2158 frac-2neg_binary64_2135 clear-num_binary64_2123 div-inv_binary64_2121 flip3-+_binary64_2127 flip-+_binary64_2098
Counts
1 → 29
Calls

1 calls:

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

Compiled 469 to 241 computations (48.6% saved)

series68.0ms (2%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

57.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 248 to 201 computations (19% saved)

simplify73.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05088673

prune36.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New38341
Fresh000
Picked011
Done000
Total38442
Error
0b
Counts
42 → 4
Compiler

Compiled 582 to 338 computations (41.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
16.6b
(/.f64 (+.f64 1 (*.f64 x x)) x)

rewrite132.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
84×times-frac_binary64_2130
52×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
16×associate-/r*_binary64_2068
15×add-exp-log_binary64_2162
9×add-cbrt-cube_binary64_2160
8×div-exp_binary64_2175
6×div-inv_binary64_2121 associate-/l*_binary64_2069
4×cbrt-undiv_binary64_2158
3×pow1_binary64_2185
2×add-log-exp_binary64_2163 frac-2neg_binary64_2135 clear-num_binary64_2123 associate-/l/_binary64_2071 1-exp_binary64_2168 rec-exp_binary64_2174
1×flip3-+_binary64_2127 flip-+_binary64_2098 inv-pow_binary64_2209 pow-flip_binary64_2198 associate-/r/_binary64_2070
Counts
2 → 105
Calls

2 calls:

7.0ms
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
5.0ms
(/.f64 (+.f64 1 (*.f64 x x)) x)
Compiler

Compiled 2109 to 1272 computations (39.7% saved)

series115.0ms (3.3%)

Error
0b
Counts
2 → 18
Calls

2 calls:

53.0ms
(/.f64 (+.f64 1 (*.f64 x x)) x)
51.0ms
(/.f64 1 (/.f64 (+.f64 1 (*.f64 x x)) x))
Compiler

Compiled 333 to 271 computations (18.6% saved)

simplify91.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049732361
149732361

prune108.0ms (3.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1221123
Fresh112
Picked101
Done011
Total1243127
Error
0b
Counts
127 → 3
Compiler

Compiled 1978 to 1151 computations (41.8% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (/.f64 1 x))
0.1b
(/.f64 1 (+.f64 x (/.f64 1 x)))

rewrite66.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
28×*-un-lft-identity_binary64_2124
18×times-frac_binary64_2130
16×add-exp-log_binary64_2162
13×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146
10×distribute-lft-out_binary64_2075
6×rec-exp_binary64_2174 div-inv_binary64_2121 associate-/r*_binary64_2068
5×cosh-undef_binary64_2318
4×add-log-exp_binary64_2163 add-cbrt-cube_binary64_2160
3×pow1_binary64_2185 associate-/l*_binary64_2069
2×div-exp_binary64_2175 flip3-+_binary64_2127 associate-/r/_binary64_2070 flip-+_binary64_2098
1×inv-pow_binary64_2209 pow-flip_binary64_2198 1-exp_binary64_2168 cbrt-undiv_binary64_2158 frac-2neg_binary64_2135 clear-num_binary64_2123 sum-log_binary64_2215 +-commutative_binary64_2054
Counts
2 → 59
Calls

2 calls:

8.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))
6.0ms
(+.f64 x (/.f64 1 x))
Compiler

Compiled 823 to 632 computations (23.2% saved)

series77.0ms (2.2%)

Error
0b
Counts
2 → 18
Calls

2 calls:

41.0ms
(/.f64 1 (+.f64 x (/.f64 1 x)))
25.0ms
(+.f64 x (/.f64 1 x))
Compiler

Compiled 333 to 271 computations (18.6% saved)

simplify90.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04899953
14899953

prune57.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh011
Picked011
Done011
Total77380
Error
0b
Counts
80 → 3
Compiler

Compiled 877 to 655 computations (25.3% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (*.f64 x x) (*.f64 x x))
1.0b
(/.f64 x (+.f64 1 (pow.f64 x 6)))
14.2b
(+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1)))
26.8b
(*.f64 (/.f64 x (+.f64 1 (pow.f64 x 6))) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1))))

rewrite525.0ms (15.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
117×pow1_binary64_2185
36×*-un-lft-identity_binary64_2124 pow-prod-up_binary64_2194
27×add-sqr-sqrt_binary64_2146
25×times-frac_binary64_2130
24×pow-prod-down_binary64_2195
23×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
22×add-cube-cbrt_binary64_2159 pow-sqr_binary64_2097
19×associate-*l*_binary64_2065
18×pow-plus_binary64_2187
13×pow2_binary64_2205
10×prod-exp_binary64_2173 cbrt-unprod_binary64_2157
9×add-log-exp_binary64_2163
7×distribute-lft-out_binary64_2075
5×flip3-+_binary64_2127 flip-+_binary64_2098
4×associate-/r/_binary64_2070 associate-*r*_binary64_2064 associate-/r*_binary64_2068
3×unswap-sqr_binary64_2092 associate-/l*_binary64_2069
2×div-exp_binary64_2175 cbrt-undiv_binary64_2158 frac-times_binary64_2134 associate-*r/_binary64_2066 div-inv_binary64_2121 *-commutative_binary64_2055 sum-log_binary64_2215 associate-+r+_binary64_2056
1×distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073 associate-*l/_binary64_2067 diff-log_binary64_2216 associate-+r-_binary64_2058 sub-neg_binary64_2117 cancel-sign-sub-inv_binary64_2090 +-commutative_binary64_2054 frac-2neg_binary64_2135 clear-num_binary64_2123 swap-sqr_binary64_2091
Counts
4 → 154
Calls

4 calls:

29.0ms
(*.f64 (/.f64 x (+.f64 1 (pow.f64 x 6))) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1))))
16.0ms
(+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1)))
9.0ms
(*.f64 (*.f64 x x) (*.f64 x x))
6.0ms
(/.f64 x (+.f64 1 (pow.f64 x 6)))
Compiler

Compiled 5286 to 3033 computations (42.6% saved)

series580.0ms (16.8%)

Error
0b
Counts
4 → 36
Calls

4 calls:

313.0ms
(/.f64 x (+.f64 1 (pow.f64 x 6)))
107.0ms
(*.f64 (/.f64 x (+.f64 1 (pow.f64 x 6))) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1))))
92.0ms
(+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 1 1) (*.f64 (*.f64 x x) 1)))
32.0ms
(*.f64 (*.f64 x x) (*.f64 x x))
Compiler

Compiled 1450 to 1037 computations (28.5% saved)

simplify102.0ms (3%)

Algorithm
1×egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049272667
149272667

prune266.0ms (7.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1900190
Fresh000
Picked011
Done022
Total1903193
Error
0b
Counts
193 → 3
Compiler

Compiled 4758 to 3065 computations (35.6% saved)

regimes93.0ms (2.7%)

Accuracy

Total 0.1b remaining (99.9%)

Threshold costs 0.1b (99.9%)

Compiler

Compiled 876 to 578 computations (34% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810
Removed

()

end0.0ms (0%)

sample788.0ms (22.8%)

Algorithm
1×intervals
Results
181.0ms8000×body128valid
Compiler

Compiled 408 to 274 computations (32.8% saved)

Profiling

Loading profile data...