Details

Time bar (total: 4.8s)

sample58.0ms

Algorithm
intervals
Results
30.0ms74×body10240exit
10.0ms277×body80valid
3.0ms5×body1280valid
2.0ms6×body640valid
1.0ms6×body320valid
0.0ms2×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1195
2195

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize7.0ms

Local error

Found 3 expressions with local error:

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

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

series131.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(- (log (+ 1.0 (exp x))) (* x y))
9.0ms
(+ 1.0 (exp x))
63.0ms
(log (+ 1.0 (exp x)))

simplify47.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 3 (43.0ms)

IterNodesCost
0207322
1584301
21729298
35001297

prune161.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
0.5b
(log (+ (pow 1.0 3) (pow (exp x) 3)))
5.1b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
5.2b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
24×log-prod
10×pow1 add-sqr-sqrt distribute-lft-out
9×associate--l+
8×add-cube-cbrt unpow-prod-down log-div cube-prod
6×add-exp-log log-pow add-log-exp
4×flip3-+ add-cbrt-cube flip-+ distribute-lft-out--
3×associate--r+
2×associate--l- sub-neg flip3-- diff-log rem-log-exp sum-cubes flip-- associate--r-
1×distribute-rgt-out-- difference-of-squares
Counts
4 → 80
Calls
4 calls:
86.0ms
(- (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
36.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
30.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
67.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

series451.0ms

Counts
4 → 12
Calls
4 calls:
213.0ms
(- (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))))
88.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
43.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
107.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

simplify147.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
03891226
111991151
246291092
350011092

prune316.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.2b
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
1.2b
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
4.7b
(- (exp x) 1.0)
5.2b
(log (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
27×log-prod
18×sqrt-prod
11×add-sqr-sqrt
10×distribute-lft-out
9×pow1 add-cube-cbrt
8×unpow-prod-down cube-prod
7×add-exp-log log-pow
6×log-div add-log-exp
4×sqrt-div add-cbrt-cube
3×flip3-+ rem-log-exp flip-+
2×sqrt-pow1 pow1/2 sum-cubes
1×sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 78
Calls
4 calls:
24.0ms
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
21.0ms
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
10.0ms
(- (exp x) 1.0)
23.0ms
(log (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))

series389.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
136.0ms
(log (sqrt (+ (pow 1.0 3) (pow (exp x) 3))))
15.0ms
(- (exp x) 1.0)
108.0ms
(log (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0)))

simplify124.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0307856
1994758
23962745
35001745

prune306.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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))
6.8b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

rewrite64.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:
19.0ms
(+ (* 1/2 (pow x 2)) (+ x 2.0))
23.0ms
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
21.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

series154.0ms

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

simplify144.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0292480
11010443
24638436
35001436

prune145.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes38.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02217
12217

end0.0ms

sample1.7s

Algorithm
intervals
Results
927.0ms2392×body10240exit
306.0ms8394×body80valid
63.0ms234×body640valid
56.0ms117×body1280valid
30.0ms199×body320valid
10.0ms113×body160valid