Details

Time bar (total: 3.6s)

sample31.0ms

Algorithm
intervals
Results
12.0ms272×body80valid
3.0ms86×body80overflowed
3.0ms8×body640valid
1.0ms2×body1280valid
1.0ms4×body320valid
0.0ms4×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 1 expressions with local error:

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

rewrite4.0ms

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

series60.0ms

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

simplify97.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (23.0ms)

IterNodesCost
0101109
123297
262296
3227395
4500195

prune41.0ms

Filtered
18 candidates to 14 candidates (77.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New15318
Fresh000
Picked101
Done000
Total16319

Merged error: 0.3b

Counts
19 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.5b
(log (+ (pow 1.0 3) (pow (exp x) 3)))
5.3b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
12×log-prod
10×add-sqr-sqrt add-cube-cbrt
7×pow1 unpow-prod-down cube-prod
6×add-exp-log add-log-exp
5×add-cbrt-cube distribute-lft-out
4×log-div pow-pow
3×pow-unpow exp-prod
2×flip3-+ rem-log-exp log-pow flip-+
1×cube-mult pow-to-exp sub-neg flip3-- distribute-rgt-out-- diff-log unpow3 pow-exp sum-cubes flip-- rem-cube-cbrt sqr-pow
Counts
4 → 73
Calls
4 calls:
3.0ms
(pow (exp x) 3)
10.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
6.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
8.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

series249.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(pow (exp x) 3)
84.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
41.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
102.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

simplify62.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0363641
11502568
25001560

prune225.0ms

Filtered
85 candidates to 57 candidates (67.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New84185
Fresh022
Picked101
Done000
Total85388

Merged error: 0.3b

Counts
88 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

5.3b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod
7×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×log-div add-log-exp
4×add-cbrt-cube
3×flip3-+ rem-log-exp log-pow flip-+
1×sub-neg flip3-- distribute-rgt-out-- diff-log flip--
Counts
4 → 55
Calls
4 calls:
7.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
8.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
11.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
9.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

series353.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
104.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
102.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
103.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

simplify72.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 3 (63.0ms)

IterNodesCost
0197874
1612754
22304744
35001743

prune304.0ms

Filtered
67 candidates to 57 candidates (85.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New66167
Fresh022
Picked101
Done000
Total67370

Merged error: 0.3b

Counts
70 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
5.4b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
5.4b
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
5.4b
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
18×log-prod
10×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×add-exp-log log-div log-pow
6×sqrt-prod
4×flip3-+ sqrt-div rem-log-exp add-cbrt-cube flip-+ add-log-exp
2×sqrt-pow1 pow1/2
Counts
4 → 66
Calls
4 calls:
11.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
8.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
9.0ms
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
9.0ms
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))

series515.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
105.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
153.0ms
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
154.0ms
(log (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))

simplify73.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 3 (62.0ms)

IterNodesCost
01851244
15081098
221311082
350011078

prune387.0ms

Filtered
78 candidates to 62 candidates (79.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New77178
Fresh022
Picked101
Done000
Total78381

Merged error: 0.3b

Counts
81 → 3

regimes41.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03354
13354

end0.0ms

sample881.0ms

Algorithm
intervals
Results
383.0ms8404×body80valid
100.0ms2429×body80overflowed
73.0ms133×body1280valid
70.0ms233×body640valid
35.0ms189×body320valid
14.0ms124×body160valid

Profiling

Loading profile data...