Details

Time bar (total: 5.4s)

sample65.0ms

Algorithm
intervals
Results
35.0ms78×body10240exit
11.0ms276×body80valid
3.0ms12×body640valid
3.0ms5×body1280valid
1.0ms6×body320valid
0.0ms2×body160valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0125
1195
2235
3235

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.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.0b
(log (+ 1.0 (exp x)))

rewrite13.0ms

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

series131.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(+ 1.0 (exp x))
57.0ms
(- (log (+ 1.0 (exp x))) (* x y))
66.0ms
(log (+ 1.0 (exp x)))

simplify71.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (59.0ms)

IterNodesCost
0236404
1702369
22284367
35002340

prune184.0ms

Filtered
71 candidates to 54 candidates (76.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ 1.0 (exp x)))
0.0b
(sqrt (+ 1.0 (exp x)))
0.7b
(log (sqrt (+ 1.0 (exp x))))
0.7b
(log (sqrt (+ 1.0 (exp x))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×add-sqr-sqrt sqrt-prod
14×log-prod
10×pow1 add-cube-cbrt
8×sqrt-div
6×add-exp-log log-pow
4×expm1-log1p-u log-div sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out add-log-exp
2×rem-sqrt-square rem-log-exp hypot-def
Counts
4 → 82
Calls
4 calls:
5.0ms
(sqrt (+ 1.0 (exp x)))
5.0ms
(sqrt (+ 1.0 (exp x)))
3.0ms
(log (sqrt (+ 1.0 (exp x))))
4.0ms
(log (sqrt (+ 1.0 (exp x))))

series285.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(sqrt (+ 1.0 (exp x)))
31.0ms
(sqrt (+ 1.0 (exp x)))
106.0ms
(log (sqrt (+ 1.0 (exp x))))
109.0ms
(log (sqrt (+ 1.0 (exp x))))

simplify60.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 3 (52.0ms)

IterNodesCost
0172598
1486558
21684540
35002522

prune302.0ms

Filtered
94 candidates to 70 candidates (74.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3/2)
0.7b
(log (sqrt (+ 1.0 (exp x))))
0.7b
(log (/ (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))))
3.8b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
31×log-prod
24×*-un-lft-identity
22×add-sqr-sqrt add-cube-cbrt
18×times-frac
13×sqrt-prod
8×pow1 add-exp-log
6×add-log-exp
4×expm1-log1p-u pow-pow sqrt-div log-pow add-cbrt-cube log1p-expm1-u
3×unpow-prod-down log-div pow-unpow exp-prod rem-log-exp
2×flip3-+ associate-/r/ flip-+
1×pow-to-exp sub-neg flip3-- distribute-rgt-out-- sqrt-pow1 pow1/2 fma-neg diff-log div-exp prod-diff pow-exp flip-- div-inv distribute-lft-out sqr-pow
Counts
4 → 98
Calls
4 calls:
2.0ms
(pow (exp x) 3/2)
3.0ms
(log (sqrt (+ 1.0 (exp x))))
20.0ms
(log (/ (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))))
7.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))

series1.0s

Counts
4 → 12
Calls
4 calls:
81.0ms
(pow (exp x) 3/2)
111.0ms
(log (sqrt (+ 1.0 (exp x))))
774.0ms
(log (/ (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))))
47.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))

simplify63.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05941493
120381387
250011363

prune554.0ms

Filtered
110 candidates to 83 candidates (75.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (+ 1.0 (exp x)))
0.5b
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
0.5b
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
0.6b
(* (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
24×sqrt-prod
22×pow1
17×*-un-lft-identity
16×sqrt-div
15×add-cube-cbrt
10×sqrt-pow1 pow1/2
8×flip3-- swap-sqr flip--
7×add-exp-log
6×associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u frac-times log-prod log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square log-div associate-*r/ associate-*l/
1×pow2 flip3-+ pow-plus sqrt-unprod rem-log-exp prod-exp rem-square-sqrt log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out
Counts
4 → 110
Calls
4 calls:
3.0ms
(log (+ 1.0 (exp x)))
9.0ms
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
13.0ms
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
19.0ms
(* (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(log (+ 1.0 (exp x)))
133.0ms
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
132.0ms
(sqrt (- (log (+ 1.0 (exp x))) (* x y)))
56.0ms
(* (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))))

simplify44.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03441242
112161122
250021076

prune281.0ms

Filtered
122 candidates to 76 candidates (62.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes76.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1105

end0.0ms

sample1.7s

Algorithm
intervals
Results
979.0ms2441×body10240exit
328.0ms8411×body80valid
70.0ms264×body640valid
66.0ms128×body1280valid
29.0ms181×body320valid
10.0ms109×body160valid