Details

Time bar (total: 3.4s)

sample33.0ms

Algorithm
intervals
Results
14.0ms275×body80valid
3.0ms96×body80overflowed
3.0ms10×body640valid
1.0ms5×body320valid
1.0ms1×body1280valid
0.0ms3×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1195
2195

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

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.0b
(- (log (+ 1.0 (exp x))) (* x y))
0.3b
(log (+ 1.0 (exp x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×log-prod
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log log-div associate--l+
3×flip3-+ add-cbrt-cube flip-+ distribute-lft-out
2×associate--l-
1×+-commutative sub-neg flip3-- diff-log rem-log-exp sum-log log-pow flip--
Counts
3 → 45
Calls
3 calls:
4.0ms
(+ 1.0 (exp x))
6.0ms
(- (log (+ 1.0 (exp x))) (* x y))
3.0ms
(log (+ 1.0 (exp x)))

series124.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(+ 1.0 (exp x))
54.0ms
(- (log (+ 1.0 (exp x))) (* x y))
62.0ms
(log (+ 1.0 (exp x)))

simplify50.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0207322
1584301
21729298
35001297

prune110.0ms

Filtered
54 candidates to 40 candidates (74.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New51354
Fresh000
Picked101
Done000
Total52355

Merged error: 0.2b

Counts
55 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (cbrt (+ 1.0 (exp x))))
0.7b
(+ (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))))
0.7b
(cbrt (+ 1.0 (exp x)))
0.7b
(cbrt (+ 1.0 (exp x)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
28×log-prod
27×*-un-lft-identity
24×cbrt-prod
14×add-sqr-sqrt add-cube-cbrt associate-+l+
8×cbrt-div
7×distribute-rgt-in associate-+r+ distribute-lft-in
6×pow1 distribute-lft-out
5×add-exp-log flip3-+ flip-+ add-log-exp
4×log-div add-cbrt-cube
3×pow1/3 log-pow
2×associate-+r- distribute-rgt-out
1×+-commutative distribute-lft1-in rem-log-exp sum-log
Counts
4 → 84
Calls
4 calls:
4.0ms
(log (cbrt (+ 1.0 (exp x))))
12.0ms
(+ (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))))
3.0ms
(cbrt (+ 1.0 (exp x)))
3.0ms
(cbrt (+ 1.0 (exp x)))

series632.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(log (cbrt (+ 1.0 (exp x))))
210.0ms
(+ (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))))
116.0ms
(cbrt (+ 1.0 (exp x)))
120.0ms
(cbrt (+ 1.0 (exp x)))

simplify153.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 3 (144.0ms)

IterNodesCost
0302812
1979724
24243665
35001649

prune262.0ms

Filtered
96 candidates to 77 candidates (80.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New96096
Fresh022
Picked011
Done000
Total96399

Merged error: 0.2b

Counts
99 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1/2 (pow x 2)) (+ x 2.0))
0.0b
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
5.8b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×log-prod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log log-div
3×flip3-+ associate--l+ sum-log add-cbrt-cube flip-+
2×associate--l-
1×+-commutative sub-neg associate-+r+ flip3-- diff-log rem-log-exp log-pow flip--
Counts
3 → 44
Calls
3 calls:
7.0ms
(+ (* 1/2 (pow x 2)) (+ x 2.0))
8.0ms
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
6.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

series148.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(+ (* 1/2 (pow x 2)) (+ x 2.0))
77.0ms
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
54.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

simplify134.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0292480
11010443
24638436
35002436

prune126.0ms

Filtered
53 candidates to 43 candidates (81.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New52153
Fresh011
Picked101
Done011
Total53356

Merged error: 0.2b

Counts
56 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

1.3b
(cbrt (log (+ (* 1/2 (pow x 2)) (+ x 2.0))))
5.8b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
5.8b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
5.8b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod
8×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×add-exp-log
6×log-div
4×cbrt-prod log-pow add-cbrt-cube add-log-exp
3×flip3-+ rem-log-exp flip-+
1×pow1/3
Counts
4 → 54
Calls
4 calls:
1.0ms
(cbrt (log (+ (* 1/2 (pow x 2)) (+ x 2.0))))
6.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
6.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
6.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

series336.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt (log (+ (* 1/2 (pow x 2)) (+ x 2.0))))
49.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
55.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
55.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

simplify49.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0363755
11304677
25001644

prune226.0ms

Filtered
66 candidates to 55 candidates (83.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New65166
Fresh011
Picked101
Done011
Total66369

Merged error: 0.2b

Counts
69 → 3

regimes38.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01612
11612

end0.0ms

sample842.0ms

Algorithm
intervals
Results
362.0ms8480×body80valid
93.0ms2469×body80overflowed
75.0ms261×body640valid
64.0ms121×body1280valid
29.0ms164×body320valid
11.0ms105×body160valid

Profiling

Loading profile data...