Details

Time bar (total: 3.7s)

sample60.0ms

Algorithm
intervals
Results
37.0ms85×body1280valid
9.0ms48×body640valid
2.0ms24×body320valid
2.0ms90×body80valid
1.0ms79×body80nan
1.0ms9×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
052
152

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: 39.2b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

2.5b
(log (+ 1.0 x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
2×log-div
1×flip3-+ flip-+
Counts
1 → 2
Calls
1 calls:
2.0ms
(log (+ 1.0 x))

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(log (+ 1.0 x))

simplify38.0ms

Algorithm
egg-herbie
Counts
5 → 5
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
010344
130544
2111739
3500136

prune23.0ms

Filtered
5 candidates to 4 candidates (80.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New235
Fresh000
Picked011
Done000
Total246

Merged error: 0.1b

Counts
6 → 4

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
16×frac-sub
14×associate-*r/
8×flip3-+ flip-+
4×clear-num associate-/r* associate-/l* unpow2 sqr-pow
2×frac-2neg associate--l+ un-div-inv
1×+-commutative sub-neg flip3-- flip--
Counts
1 → 22
Calls
1 calls:
8.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

simplify46.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0324542
11311533
25001499

prune69.0ms

Filtered
25 candidates to 16 candidates (64.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New24125
Fresh022
Picked011
Done011
Total24529

Merged error: 0.1b

Counts
29 → 5

localize21.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
13.6b
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
43.1b
(/ (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))) (* (pow 1.0 2) (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*l/
12×flip3-+ flip-+
10×distribute-neg-frac
8×frac-add
6×associate-*r* associate-/l/
4×associate-/r*
3×associate-*l* *-commutative
2×associate-*r/ associate-/r/ unpow2 sqr-pow
1×+-commutative distribute-lft-neg-out neg-mul-1 frac-2neg clear-num div-inv
Counts
3 → 31
Calls
3 calls:
12.0ms
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
22.0ms
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
35.0ms
(/ (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))) (* (pow 1.0 2) (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))))

series514.0ms

Counts
3 → 9
Calls
3 calls:
109.0ms
(* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2)))
146.0ms
(+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2)))
258.0ms
(/ (+ (* (- (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))) (* 1/2 (pow x 2))) (* (+ (pow (* 1.0 x) 3) (pow (log 1.0) 3)) (pow 1.0 2))) (* (pow 1.0 2) (+ (* (log 1.0) (- (log 1.0) (* 1.0 x))) (* (* 1.0 x) (* 1.0 x)))))

simplify88.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
04461209
123861187
250031186

prune213.0ms

Filtered
40 candidates to 35 candidates (87.5%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New40040
Fresh022
Picked011
Done022
Total40545

Merged error: 0.1b

Counts
45 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* 1.0 x))
0.3b
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
12.2b
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
14.0b
(log (+ (pow 1.0 3) (pow x 3)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
8×log-div
4×flip3-+ *-commutative flip-+
2×associate--l- sub-neg log-prod flip3-- distribute-rgt-out-- sum-cubes flip-- distribute-lft-out-- associate--r-
1×diff-log associate--l+
Counts
4 → 23
Calls
4 calls:
4.0ms
(- (* x x) (* 1.0 x))
9.0ms
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
5.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
4.0ms
(log (+ (pow 1.0 3) (pow x 3)))

series536.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (* x x) (* 1.0 x))
146.0ms
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
69.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
260.0ms
(log (+ (pow 1.0 3) (pow x 3)))

simplify41.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0370391
11256388
25001373

prune104.0ms

Filtered
35 candidates to 27 candidates (77.1%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New33235
Fresh101
Picked011
Done123
Total35540

Merged error: 0.0b

Counts
40 → 5

regimes76.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 21.6b

bsearch2.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03623
13623

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.0s2296×body1280valid
334.0ms1611×body640valid
84.0ms791×body320valid
60.0ms2874×body80valid
35.0ms2660×body80nan
26.0ms428×body160valid