Details

Time bar (total: 3.5s)

sample51.0ms

Algorithm
intervals
Results
8.0ms178×body80valid
6.0ms27×body1280valid
5.0ms29×body1280nan
5.0ms35×body640nan
4.0ms23×body640valid
3.0ms77×body80nan
2.0ms19×body320valid
2.0ms21×body320nan
1.0ms9×body160valid
0.0ms5×body160nan

simplify17.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.0b

Counts
2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
14×*-un-lft-identity
12×log-prod
7×difference-of-squares
6×associate--r+ add-log-exp
5×pow1 add-cube-cbrt distribute-lft-out--
4×add-exp-log log-div flip3-- flip--
3×times-frac add-cbrt-cube associate--r-
2×sub-neg diff-log log-pow
1×div-sub rem-log-exp
Counts
3 → 56
Calls
3 calls:
15.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
12.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
12.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series38.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
9.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
12.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify80.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0292587
1800548
23648528
35001528

prune119.0ms

Filtered
50 candidates to 65 candidates (-30.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New62365
Fresh000
Picked101
Done000
Total63366

Merged error: 0.1b

Counts
66 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.2b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
44×times-frac
40×*-un-lft-identity
24×add-cube-cbrt log-prod
16×difference-of-squares
8×distribute-lft-out--
6×add-exp-log associate-/r*
5×add-cbrt-cube add-log-exp
4×pow1 associate-/r/
3×flip3-- flip-- associate-/l*
2×div-exp rem-log-exp div-inv
1×cbrt-undiv sub-neg log-div frac-2neg diff-log div-sub clear-num log-pow associate--r-
Counts
3 → 92
Calls
3 calls:
18.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
16.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series44.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
16.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
9.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify44.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
04211183
113351115
250021084

prune196.0ms

Filtered
80 candidates to 101 candidates (-26.3%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New992101
Fresh022
Picked011
Done000
Total995104

Merged error: 0.0b

Counts
104 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
14×pow1
12×prod-exp
9×*-un-lft-identity
8×add-sqr-sqrt associate-*r/
7×pow-prod-down
6×rem-log-exp associate-*r*
4×add-cube-cbrt log-pow add-cbrt-cube
3×distribute-rgt-in distribute-lft-in associate-*l*
2×sub-neg log-div flip3-- 1-exp associate--l+ flip-- distribute-lft-out-- add-log-exp
1×log-prod *-commutative cbrt-unprod distribute-lft-out difference-of-squares unswap-sqr
Counts
2 → 49
Calls
2 calls:
11.0ms
(log (* 1.0 (* 1 (* (exp 1.0) (- (+ x 1) y)))))
9.0ms
(* (exp 1.0) (- (+ x 1) y))

series18.0ms

Counts
2 → 6
Calls
2 calls:
12.0ms
(log (* 1.0 (* 1 (* (exp 1.0) (- (+ x 1) y)))))
6.0ms
(* (exp 1.0) (- (+ x 1) y))

simplify36.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0257362
11063316
25001298

prune82.0ms

Filtered
37 candidates to 55 candidates (-48.6%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New55055
Fresh033
Picked011
Done011
Total55560

Merged error: 0.0b

Counts
60 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
2.2b
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
13.3b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
14.2b
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
148×add-sqr-sqrt
73×difference-of-squares
72×log-prod
54×unpow-prod-down cube-prod
42×*-un-lft-identity
33×associate--l+
30×sqr-pow
24×times-frac
19×distribute-lft-out--
10×pow1
8×add-cube-cbrt log-div
6×add-exp-log log-pow add-log-exp
4×flip3-- add-cbrt-cube flip--
3×difference-cubes associate--r+
2×associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r-
Counts
4 → 157
Calls
4 calls:
64.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
42.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
17.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
42.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
51.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
34.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
63.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

simplify74.0ms

Algorithm
egg-herbie
Counts
169 → 169
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
06143258
118883145
250013064

prune454.0ms

Filtered
107 candidates to 169 candidates (-57.9%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1690169
Fresh022
Picked011
Done022
Total1695174

Merged error: 0.0b

Counts
174 → 5

regimes230.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 18.8b

bsearch58.0ms

Steps
ItersRangePoint
8
4838564.2946156785
62623963897.715195
19392743.859146573
8
-173788401579.36386
-12261081.339984152
-147781247.0070827

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03326
13326

end0.0ms

sample1.4s

Algorithm
intervals
Results
264.0ms5626×body80valid
204.0ms859×body1280valid
133.0ms781×body640valid
133.0ms740×body1280nan
105.0ms782×body640nan
88.0ms2678×body80nan
57.0ms475×body320valid
48.0ms438×body320nan
23.0ms259×body160valid
16.0ms232×body160nan

Profiling

Loading profile data...