Details

Time bar (total: 4.5s)

sample63.0ms

Algorithm
intervals
Results
31.0ms81×body1280valid
13.0ms59×body640valid
6.0ms23×body2560valid
3.0ms21×body320valid
2.0ms58×body80valid
1.0ms14×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
095
195

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 54.7b

Counts
2 → 1

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) 1.0)
0.7b
(+ x (sqrt (+ (* x x) 1.0)))
2.7b
(log (+ x (sqrt (+ (* x x) 1.0))))
14.7b
(sqrt (+ (* x x) 1.0))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
4×flip3-+ flip-+
2×+-commutative log-div sqrt-div
1×pow1/2
Counts
4 → 11
Calls
4 calls:
3.0ms
(+ (* x x) 1.0)
3.0ms
(+ x (sqrt (+ (* x x) 1.0)))
3.0ms
(log (+ x (sqrt (+ (* x x) 1.0))))
3.0ms
(sqrt (+ (* x x) 1.0))

series298.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (* x x) 1.0)
57.0ms
(+ x (sqrt (+ (* x x) 1.0)))
164.0ms
(log (+ x (sqrt (+ (* x x) 1.0))))
45.0ms
(sqrt (+ (* x x) 1.0))

simplify115.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0257200
1859196
24066180
35001180

prune77.0ms

Filtered
23 candidates to 20 candidates (87.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New19423
Fresh000
Picked101
Done000
Total20424

Merged error: 0.0b

Counts
24 → 4

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
0.1b
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
21×associate-*r/
16×frac-sub
10×unpow3 sqr-pow
8×flip3-+ flip-+
6×clear-num associate-/r* associate-/l*
5×associate-*r*
4×times-frac
3×frac-2neg un-div-inv
2×associate--l+
1×+-commutative sub-neg flip3-- *-commutative flip-- div-inv
Counts
2 → 36
Calls
2 calls:
8.0ms
(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
5.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

series284.0ms

Counts
2 → 6
Calls
2 calls:
153.0ms
(- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))
132.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))

simplify51.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0344855
11657810
25003808

prune136.0ms

Filtered
42 candidates to 33 candidates (78.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New42042
Fresh033
Picked011
Done000
Total42446

Merged error: 0.0b

Counts
46 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- 0.0625) (pow x 5))
0.1b
(/ 0.125 (pow x 3))
12.9b
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
19.5b
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
320×frac-sub
116×frac-2neg clear-num
101×associate-/r*
87×log-div
67×sqr-pow
35×unpow3
32×neg-mul-1
31×associate-/l*
12×flip3-- flip--
3×associate--r+
2×neg-sub0 sub-neg div-sub div-inv associate--r-
1×times-frac distribute-frac-neg
Counts
4 → 193
Calls
4 calls:
3.0ms
(/ (- 0.0625) (pow x 5))
2.0ms
(/ 0.125 (pow x 3))
16.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
13.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))

series333.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ (- 0.0625) (pow x 5))
41.0ms
(/ 0.125 (pow x 3))
182.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
58.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))

simplify74.0ms

Algorithm
egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
019134393
150024170

prune637.0ms

Filtered
205 candidates to 163 candidates (79.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2050205
Fresh022
Picked011
Done011
Total2054209

Merged error: 0.0b

Counts
209 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ 0.125 (pow x 3))
10.9b
(log (- (/ 0.5 x) (- (/ 0.125 (pow x 3)) (* 2 x))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
8×log-div
6×frac-sub
4×flip3-- flip--
3×frac-2neg clear-num
2×associate-/r*
1×unpow3 div-inv sqr-pow
Counts
2 → 13
Calls
2 calls:
2.0ms
(/ 0.125 (pow x 3))
7.0ms
(log (- (/ 0.5 x) (- (/ 0.125 (pow x 3)) (* 2 x))))

series193.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(/ 0.125 (pow x 3))
157.0ms
(log (- (/ 0.5 x) (- (/ 0.125 (pow x 3)) (* 2 x))))

simplify40.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0364307
11574303
25002301

prune60.0ms

Filtered
19 candidates to 16 candidates (84.2%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New19019
Fresh011
Picked011
Done022
Total19423

Merged error: 0.0b

Counts
23 → 4

regimes30.0ms

Accuracy

99.2% (0.2b remaining)

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

bsearch82.0ms

Steps
ItersRangePoint
9
2.5653698016906928e-06
357.20278190505735
0.8785903162684238
9
-119005586.03332348
-0.6319501064166059
-0.9946231399154715

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04127
14127

end0.0ms

sample1.9s

Algorithm
intervals
Results
946.0ms2315×body1280valid
373.0ms1580×body640valid
221.0ms815×body2560valid
108.0ms775×body320valid
64.0ms2104×body80valid
39.0ms411×body160valid