Details

Time bar (total: 2.0s)

sample27.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
3.0ms256×pre80true

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
0585015

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize9.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ i (* 2.0 (* 2.0 (- (* i (* 2.0 2.0)) (/ 1.0 i)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
4×associate-*r/
3×cbrt-undiv add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac div-exp prod-exp cbrt-unprod associate-/l*
2×associate-/r/
1×pow1 flip3-- frac-2neg clear-num associate-/r* flip-- div-inv add-log-exp
Counts
1 → 25
Calls
1 calls:
14.0ms
(/ i (* 2.0 (* 2.0 (- (* i (* 2.0 2.0)) (/ 1.0 i)))))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(/ i (* 2.0 (* 2.0 (- (* i (* 2.0 2.0)) (/ 1.0 i)))))

simplify35.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
04943464
14943464

prune51.0ms

Filtered
20 candidates to 28 candidates (-40.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New25328
Fresh101
Picked101
Done000
Total27330

Merged error: 0b

Counts
30 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 0.00390625 (pow i 4)) (+ (/ 0.015625 (* i i)) 0.0625))
0.2b
(/ 0.00390625 (pow i 4))
0.3b
(/ 0.015625 (* i i))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
24×times-frac
21×add-sqr-sqrt add-cube-cbrt
13×add-exp-log
12×unpow-prod-down
10×add-cbrt-cube
8×associate-/r* add-log-exp
6×associate-/l*
5×div-exp
4×sqr-pow
3×pow1 cbrt-undiv sum-log distribute-lft-out
2×frac-2neg flip3-+ frac-add clear-num flip-+ div-inv
1×+-commutative pow-to-exp associate-+r+ pow-exp prod-exp cbrt-unprod
Counts
3 → 83
Calls
3 calls:
18.0ms
(+ (/ 0.00390625 (pow i 4)) (+ (/ 0.015625 (* i i)) 0.0625))
5.0ms
(/ 0.00390625 (pow i 4))
7.0ms
(/ 0.015625 (* i i))

series12.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(+ (/ 0.00390625 (pow i 4)) (+ (/ 0.015625 (* i i)) 0.0625))
4.0ms
(/ 0.00390625 (pow i 4))
3.0ms
(/ 0.015625 (* i i))

simplify37.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05004966

prune133.0ms

Filtered
62 candidates to 92 candidates (-48.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New92092
Fresh022
Picked011
Done000
Total92395

Merged error: 0b

Counts
95 → 3

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 4.0 (pow i 6)) (* i (* i 0.25)))
0.0b
(- (* 1.0 (neg (pow i 4))) (+ (* 4.0 (pow i 6)) (* i (* i 0.25))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity diff-log sum-log add-cbrt-cube
1×+-commutative sub-neg flip3-- flip3-+ flip-- flip-+ associate--r+
Counts
2 → 25
Calls
2 calls:
5.0ms
(+ (* 4.0 (pow i 6)) (* i (* i 0.25)))
9.0ms
(- (* 1.0 (neg (pow i 4))) (+ (* 4.0 (pow i 6)) (* i (* i 0.25))))

series25.0ms

Counts
2 → 6
Calls
2 calls:
17.0ms
(+ (* 4.0 (pow i 6)) (* i (* i 0.25)))
8.0ms
(- (* 1.0 (neg (pow i 4))) (+ (* 4.0 (pow i 6)) (* i (* i 0.25))))

simplify27.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05014594

prune60.0ms

Filtered
21 candidates to 31 candidates (-47.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New31031
Fresh011
Picked011
Done011
Total31334

Merged error: 0b

Counts
34 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ 1.0 i) 3)
0.4b
(* (* i (* 2.0 2.0)) (/ 1.0 i))
6.1b
(/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3)))))
40.1b
(* (/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3))))) (+ (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* i (* 2.0 2.0)) (/ 1.0 i)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
51×add-exp-log add-cbrt-cube
33×add-sqr-sqrt times-frac
31×add-cube-cbrt *-un-lft-identity
22×prod-exp cbrt-unprod
16×pow1 associate-*r*
13×unpow-prod-down cube-prod
11×associate-*r/
10×cbrt-undiv div-exp associate-*l*
7×pow-prod-down
5×div-inv
4×associate-/r/ add-log-exp
3×pow-unpow associate-/l*
2×frac-times flip3-- flip3-+ pow-exp *-commutative flip-- flip-+ rem-cube-cbrt
1×cube-div distribute-rgt-in cube-mult pow-to-exp pow-pow frac-2neg distribute-lft-in unpow3 associate-*l/ clear-num associate-/r* unswap-sqr sqr-pow
Counts
4 → 146
Calls
4 calls:
8.0ms
(pow (/ 1.0 i) 3)
11.0ms
(* (* i (* 2.0 2.0)) (/ 1.0 i))
18.0ms
(/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3)))))
38.0ms
(* (/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3))))) (+ (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* i (* 2.0 2.0)) (/ 1.0 i)))))

series49.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(pow (/ 1.0 i) 3)
1.0ms
(* (* i (* 2.0 2.0)) (/ 1.0 i))
30.0ms
(/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3)))))
14.0ms
(* (/ i (* 2.0 (* 2.0 (- (* (pow i 3) (pow 2.0 6)) (pow (/ 1.0 i) 3))))) (+ (* (* i (* 2.0 2.0)) (* i (* 2.0 2.0))) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* i (* 2.0 2.0)) (/ 1.0 i)))))

simplify54.0ms

Algorithm
egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
050383156

prune427.0ms

Filtered
95 candidates to 158 candidates (-66.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1580158
Fresh000
Picked011
Done022
Total1583161

Merged error: 0b

Counts
161 → 3

regimes38.0ms

Accuracy

99.2% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 32.1b

bsearch16.0ms

Steps
ItersRangePoint
8
0.019582078292204614
7.304779986763707
0.4979531853096108

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03935
13935

end0.0ms

sample730.0ms

Algorithm
intervals
Results
480.0ms8000×body80valid
93.0ms8000×pre80true

Profiling

Loading profile data...