Details

Time bar (total: 4.6s)

sample53.0ms

Algorithm
intervals
Results
26.0ms64×body10240exit
10.0ms264×body80valid
3.0ms12×body640valid
2.0ms3×body1280valid
1.0ms6×body320valid
0.0ms5×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 2 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.3b
(log (+ 1.0 (exp x)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
4×log-prod add-log-exp
3×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt
2×log-div flip3-+ add-cbrt-cube flip-+ distribute-lft-out
1×+-commutative rem-log-exp sum-log log-pow
Counts
2 → 27
Calls
2 calls:
3.0ms
(+ 1.0 (exp x))
4.0ms
(log (+ 1.0 (exp x)))

series71.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(+ 1.0 (exp x))
63.0ms
(log (+ 1.0 (exp x)))

simplify98.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (25.0ms)

IterNodesCost
0128169
1337152
2897151
33150150
45002150

prune73.0ms

Filtered
33 candidates to 24 candidates (72.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New29433
Fresh000
Picked101
Done000
Total30434

Merged error: 0.2b

Counts
34 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.2b
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))
0.3b
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))
3.6b
(- (exp x) 1.0)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
107×*-un-lft-identity
54×times-frac
37×add-sqr-sqrt
35×add-cube-cbrt distribute-lft-out
33×log-prod
31×unpow-prod-down cube-prod
9×add-exp-log associate-/l*
7×sum-cubes add-cbrt-cube
6×pow1 add-log-exp
4×pow-pow associate-/r/
3×pow-unpow exp-prod flip3-+ associate-/r* flip-+
2×div-exp rem-log-exp div-inv associate-/l/
1×cbrt-undiv cube-mult pow-to-exp sub-neg log-div flip3-- frac-2neg diff-log unpow3 pow-exp clear-num log-pow flip-- distribute-lft-out-- rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 139
Calls
4 calls:
4.0ms
(pow (exp x) 3)
20.0ms
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))
19.0ms
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))
4.0ms
(- (exp x) 1.0)

series318.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(pow (exp x) 3)
98.0ms
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))
174.0ms
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))
15.0ms
(- (exp x) 1.0)

simplify81.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
04992152
121142050
250032043

prune328.0ms

Filtered
151 candidates to 86 candidates (57.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1501151
Fresh123
Picked011
Done000
Total1514155

Merged error: 0.2b

Counts
155 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.3b
(log (+ (pow 1.0 3) (pow (exp x) 3)))
3.6b
(- (exp x) 1.0)
3.8b
(log (/ 1 (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
24×log-prod
18×add-sqr-sqrt
16×add-cube-cbrt
10×add-exp-log
9×times-frac
8×pow1
7×unpow-prod-down cube-prod
6×add-log-exp
5×rem-log-exp add-cbrt-cube distribute-lft-out
4×pow-pow log-pow
3×log-div pow-unpow exp-prod
2×flip3-+ div-exp associate-/r/ flip-+
1×cube-mult pow-to-exp sub-neg rec-exp flip3-- pow-flip diff-log 1-exp unpow3 log-rec pow-exp sum-cubes flip-- div-inv distribute-lft-out-- inv-pow rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 91
Calls
4 calls:
3.0ms
(pow (exp x) 3)
11.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
4.0ms
(- (exp x) 1.0)
11.0ms
(log (/ 1 (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(pow (exp x) 3)
95.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
14.0ms
(- (exp x) 1.0)
135.0ms
(log (/ 1 (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))))

simplify60.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0446783
11743706
25001702

prune259.0ms

Filtered
103 candidates to 62 candidates (60.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1030103
Fresh022
Picked011
Done011
Total1034107

Merged error: 0.2b

Counts
107 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.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)))

series650.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(log (cbrt (+ 1.0 (exp x))))
218.0ms
(+ (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))))
120.0ms
(cbrt (+ 1.0 (exp x)))
120.0ms
(cbrt (+ 1.0 (exp x)))

simplify155.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 3 (146.0ms)

IterNodesCost
0302812
1979728
24243665
35001649

prune257.0ms

Filtered
96 candidates to 77 candidates (80.2%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New96096
Fresh011
Picked011
Done022
Total964100

Merged error: 0.2b

Counts
100 → 4

regimes42.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02014
12014

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.0s2499×body10240exit
322.0ms8483×body80valid
62.0ms231×body640valid
55.0ms111×body1280valid
26.0ms161×body320valid
11.0ms117×body160valid