Details

Time bar (total: 4.4s)

sample55.0ms

Algorithm
intervals
Results
28.0ms70×body10240exit
10.0ms265×body80valid
3.0ms11×body640valid
2.0ms4×body1280valid
1.0ms8×body320valid
0.0ms3×body160valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0125
1195
2235
3235

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite14.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:
6.0ms
(- (log (+ 1.0 (exp x))) (* x y))
3.0ms
(+ 1.0 (exp x))
4.0ms
(log (+ 1.0 (exp x)))

series141.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0236404
1702369
22284367
35002340

prune166.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) 3)
0.6b
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0)))
1.0b
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0))))
3.6b
(- (exp x) 1.0)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
114×*-un-lft-identity
54×times-frac
44×add-sqr-sqrt
42×add-cube-cbrt
35×distribute-lft-out
31×unpow-prod-down log-prod cube-prod
9×add-exp-log prod-diff associate-/l*
7×sum-cubes add-cbrt-cube
6×pow1 add-log-exp
4×expm1-log1p-u pow-pow log1p-expm1-u
3×pow-unpow exp-prod fma-neg associate-/r*
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 flip3-+ diff-log unpow3 pow-exp clear-num log-pow flip-- flip-+ distribute-lft-out-- rem-cube-cbrt difference-of-squares sqr-pow
Counts
4 → 155
Calls
4 calls:
3.0ms
(pow (exp x) 3)
13.0ms
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0)))
15.0ms
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0))))
5.0ms
(- (exp x) 1.0)

series297.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(pow (exp x) 3)
89.0ms
(/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0)))
168.0ms
(log (/ (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0))))
15.0ms
(- (exp x) 1.0)

simplify81.0ms

Algorithm
egg-herbie
Counts
167 → 167
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
04972064
120821885
250021879

prune567.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

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

series233.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(+ 1.0 (exp x))
8.0ms
(+ 1.0 (exp x))
106.0ms
(log (sqrt (+ 1.0 (exp x))))
110.0ms
(log (sqrt (+ 1.0 (exp x))))

simplify45.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
0165504
1423460
21201448
35002438

prune259.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2)))))
0.0b
(fma 0.25 (pow x 2) (* 0.5 x))
0.0b
(- (+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))) (* x y))
7.0b
(- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
16×add-log-exp
11×add-sqr-sqrt add-cube-cbrt prod-diff
8×pow1 fma-neg
6×associate-+r+ diff-log distribute-lft-out
4×add-exp-log expm1-log1p-u fma-def sum-log log-pow add-cbrt-cube log1p-expm1-u
3×sub-neg associate-+l+ log-prod associate--l+ fma-udef
2×associate-+r- flip3-- flip--
1×+-commutative associate--l- flip3-+ flip-+
Counts
4 → 89
Calls
4 calls:
6.0ms
(+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2)))))
1.0ms
(fma 0.25 (pow x 2) (* 0.5 x))
8.0ms
(- (+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))) (* x y))
3.0ms
(- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))

series329.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2)))))
59.0ms
(fma 0.25 (pow x 2) (* 0.5 x))
71.0ms
(- (+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))) (* x y))
145.0ms
(- (fma 0.25 (pow x 2) (* 0.5 x)) (* 0.5 (/ (pow x 2) (pow 2.0 2))))

simplify45.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
03251090
112761006
25002977

prune298.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes36.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01713
11713

end0.0ms

sample1.6s

Algorithm
intervals
Results
929.0ms2344×body10240exit
312.0ms8425×body80valid
61.0ms220×body640valid
56.0ms113×body1280valid
35.0ms203×body320valid
8.0ms87×body160valid