Details

Time bar (total: 5.5s)

sample94.0ms

Algorithm
intervals
Results
45.0ms101×body1280valid
23.0ms95×body640valid
7.0ms249×body80nan
5.0ms38×body320valid
2.0ms17×body160valid
0.0ms5×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3616
4886
51046
61136
71136

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

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
5.1b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×log-div
4×associate-/r/ associate-/l/
3×log-prod clear-num
2×flip3-- frac-2neg flip3-+ flip-- flip-+ div-inv
1×log-rec
Counts
2 → 16
Calls
2 calls:
4.0ms
(/ (+ 1.0 x) (- 1.0 x))
3.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series152.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ (+ 1.0 x) (- 1.0 x))
121.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify49.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
0158140
1472134
21647123
35002122

prune67.0ms

Filtered
22 candidates to 20 candidates (90.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New19322
Fresh000
Picked101
Done000
Total20323

Merged error: 0.1b

Counts
23 → 3

localize16.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune6.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.1b

Counts
3 → 3

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* 1.0 x))
0.0b
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
5.1b
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
28×frac-times
23×log-div flip3-+ flip-+
14×associate-*l/
12×associate-/r* associate-/l/ sqr-pow
6×difference-cubes frac-2neg associate-*l* clear-num *-commutative difference-of-squares
5×+-commutative log-prod
4×distribute-rgt-in associate-+r+ distribute-lft-in associate-*r/ associate-/r/
2×distribute-rgt-out flip3-- flip-- div-inv distribute-lft-out
Counts
3 → 70
Calls
3 calls:
4.0ms
(+ (* x x) (* 1.0 x))
13.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
13.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

series280.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(+ (* x x) (* 1.0 x))
63.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
163.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

simplify83.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
06771366
133331332
250011287

prune284.0ms

Filtered
79 candidates to 67 candidates (84.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New77279
Fresh101
Picked011
Done011
Total78482

Merged error: 0.1b

Counts
82 → 4

localize34.0ms

Local error

Found 4 expressions with local error:

3.0b
(+ (log (+ 1.0 x)) (log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0)))))))
5.1b
(log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
5.1b
(log (+ 1.0 x))
5.2b
(log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0))))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
84×frac-times
82×log-div
63×flip3-- flip--
36×associate-*r/
30×associate-*l/
26×associate-+r-
21×flip3-+ flip-+
14×log-prod
6×associate-*l* *-commutative
4×associate-+r+ associate-*r*
2×associate-+l- sqr-pow
1×difference-cubes +-commutative sum-log difference-of-squares
Counts
4 → 100
Calls
4 calls:
18.0ms
(+ (log (+ 1.0 x)) (log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0)))))))
15.0ms
(log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
2.0ms
(log (+ 1.0 x))
13.0ms
(log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0))))))

series549.0ms

Counts
4 → 12
Calls
4 calls:
213.0ms
(+ (log (+ 1.0 x)) (log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0)))))))
174.0ms
(log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
39.0ms
(log (+ 1.0 x))
123.0ms
(log (* (- 1.0 x) (* (+ (pow 1.0 2) (* x (+ x 1.0))) (- (pow 1.0 2) (* x (+ x 1.0))))))

simplify51.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
012132802
150022712

prune798.0ms

Filtered
112 candidates to 112 candidates (100.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1111112
Fresh011
Picked101
Done022
Total1124116

Merged error: 0.1b

Counts
116 → 4

regimes25.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02011
12011

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s3346×body1280valid
643.0ms2581×body640valid
224.0ms7878×body80nan
185.0ms1238×body320valid
57.0ms625×body160valid
9.0ms210×body80valid