Details

Time bar (total: 3.7s)

sample51.0ms

Algorithm
intervals
Results
26.0ms66×body10240exit
10.0ms271×body80valid
2.0ms8×body640valid
1.0ms2×body1280valid
1.0ms6×body320valid
1.0ms7×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1195
2235
3235

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 3 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
4×log-div
3×flip3-+ flip-+
2×associate--l-
1×+-commutative sub-neg flip3-- flip--
Counts
3 → 11
Calls
3 calls:
3.0ms
(- (log (+ 1.0 (exp x))) (* x y))
2.0ms
(+ 1.0 (exp x))
3.0ms
(log (+ 1.0 (exp x)))

series133.0ms

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

simplify145.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 4 (141.0ms)

IterNodesCost
0156136
1444130
21394128
34658124
45001123

prune53.0ms

Filtered
20 candidates to 13 candidates (65.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New17320
Fresh000
Picked101
Done000
Total18321

Merged error: 0.0b

Counts
21 → 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)))
4.3b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
4.5b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
9×*-commutative
4×log-div prod-diff
2×distribute-rgt-out-- flip3-+ fma-neg flip-+ distribute-lft-out--
1×pow-to-exp sub-neg log-prod flip3-- unpow3 pow-exp sum-cubes flip-- sqr-pow
Counts
4 → 23
Calls
4 calls:
2.0ms
(pow (exp x) 3)
4.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)))))

series262.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(pow (exp x) 3)
87.0ms
(log (+ (pow 1.0 3) (pow (exp x) 3)))
46.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
106.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

simplify101.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
0281272
1926259
23825255
35001253

prune103.0ms

Filtered
35 candidates to 20 candidates (57.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New34135
Fresh022
Picked101
Done000
Total35338

Merged error: 0.0b

Counts
38 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

4.3b
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
4.4b
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))
4.4b
(log (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))))
4.5b
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
98×sqr-pow
67×prod-diff
52×unpow3
38×associate-*r*
34×associate-*l*
31×*-commutative
22×unswap-sqr
17×swap-sqr
11×fma-neg
6×distribute-rgt-out--
4×log-div distribute-lft-out-- difference-of-squares
2×sub-neg flip3-- flip3-+ pow-prod-down flip-- flip-+
1×difference-cubes
Counts
4 → 105
Calls
4 calls:
9.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
27.0ms
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))
45.0ms
(log (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))))
13.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

series407.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (* (exp x) (exp x)) (* 1.0 (exp x)))
89.0ms
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))
163.0ms
(log (+ (* (pow 1.0 3) (pow 1.0 3)) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow (exp x) 3)))))
114.0ms
(log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))

simplify74.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
05642088
120571316
250011308

prune232.0ms

Filtered
117 candidates to 33 candidates (28.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1170117
Fresh022
Picked011
Done000
Total1173120

Merged error: 0.0b

Counts
120 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
0.0b
(fma 1/2 (pow x 2) (+ x 2.0))
6.3b
(log (fma 1/2 (pow x 2) (+ x 2.0)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
1×sub-neg flip3-- flip-- fma-udef
Counts
3 → 5
Calls
3 calls:
2.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
1.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
1.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

series147.0ms

Counts
3 → 9
Calls
3 calls:
76.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
22.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
49.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

simplify57.0ms

Algorithm
egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0170117
1551108
22086104
3500297

prune29.0ms

Filtered
14 candidates to 10 candidates (71.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New14014
Fresh011
Picked011
Done011
Total14317

Merged error: 0.0b

Counts
17 → 3

regimes42.0ms

Accuracy

0% (0.4b 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
03134
13134

end0.0ms

sample1.6s

Algorithm
intervals
Results
919.0ms2318×body10240exit
316.0ms8409×body80valid
62.0ms127×body1280valid
60.0ms232×body640valid
25.0ms160×body320valid
13.0ms138×body160valid