Details

Time bar (total: 6.8s)

sample37.0ms

Algorithm
intervals
Results
7.0ms181×body80valid
5.0ms32×body640valid
4.0ms23×body1280valid
4.0ms135×body80nan
2.0ms16×body640nan
2.0ms16×body320valid
1.0ms9×body1280nan
0.0ms8×body160nan
0.0ms5×body320nan
0.0ms4×body160valid

simplify19.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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.8b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
1.2b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.5b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
175×add-sqr-sqrt
169×*-un-lft-identity
102×times-frac
93×prod-diff
81×add-cube-cbrt
46×difference-of-squares
44×distribute-lft-out--
8×associate-/r/
7×flip3-- flip--
6×add-exp-log log-prod
5×associate-/r* add-cbrt-cube associate-/l* add-log-exp
4×pow1 div-inv
3×expm1-log1p-u fma-neg log1p-expm1-u
2×log-div div-sub associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num log-pow associate--r-
Counts
3 → 187
Calls
3 calls:
9.0ms
(/ (- x y) (- 1.0 y))
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
18.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series180.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(/ (- x y) (- 1.0 y))
52.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
88.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify86.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
08473956
127662899
250012689

prune341.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x y))
0.6b
(cbrt (- x y))
3.5b
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
11.8b
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
268×times-frac
221×add-sqr-sqrt
205×*-un-lft-identity
153×prod-diff
119×add-cube-cbrt
87×cbrt-prod
49×difference-of-squares
43×distribute-lft-out--
10×cbrt-div
9×associate-/r/
8×log-prod
7×flip3-- flip--
6×div-inv add-log-exp
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg
2×log-div pow1/3
1×sub-neg diff-log rem-log-exp log-pow
Counts
4 → 230
Calls
4 calls:
3.0ms
(cbrt (- x y))
3.0ms
(cbrt (- x y))
29.0ms
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
26.0ms
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

series442.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(cbrt (- x y))
149.0ms
(cbrt (- x y))
90.0ms
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
54.0ms
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

simplify91.0ms

Algorithm
egg-herbie
Counts
242 → 242
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
0130310077
150017745

prune603.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

1.2b
(- 1.0 (/ (- x y) (- 1.0 y)))
1.2b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.3b
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
3.3b
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
278×add-sqr-sqrt
266×*-un-lft-identity
186×prod-diff
154×times-frac
138×add-cube-cbrt
68×difference-of-squares
64×distribute-lft-out--
18×log-prod
12×cbrt-prod associate-/r/
10×flip3-- flip--
8×add-log-exp
6×pow1 add-exp-log fma-neg div-inv
4×expm1-log1p-u log-div cbrt-div log-pow add-cbrt-cube log1p-expm1-u
2×sub-neg pow1/3 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 274
Calls
4 calls:
17.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
16.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
17.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series341.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
58.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
115.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
115.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify109.0ms

Algorithm
egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
07877334
124305114
250014638

prune585.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize20.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)))))))
1.2b
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.2b
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
12.8b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))

rewrite335.0ms

Algorithm
rewrite-expression-head
Rules
1120×add-sqr-sqrt
1014×*-un-lft-identity
832×prod-diff
633×unpow-prod-down cube-prod
624×times-frac
500×add-cube-cbrt
313×difference-of-squares
259×distribute-lft-out--
111×sqr-pow
81×cube-mult unpow3
72×log-prod
48×associate-/r/
33×associate--l+
28×flip3-- flip--
24×div-inv
19×pow1
16×fma-neg
15×log-pow
8×log-div
6×add-exp-log add-log-exp
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×difference-cubes associate--r+
2×associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r-
Counts
4 → 1013
Calls
4 calls:
73.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)))))))
66.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
81.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
18.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
390.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)))))))
188.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
353.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
181.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))

simplify313.0ms

Algorithm
egg-herbie
Counts
1025 → 1025
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0182335298
1500126869

prune766.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

regimes93.0ms

Accuracy

99.6% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 17.2b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03125
13125

end0.0ms

sample1.0s

Algorithm
intervals
Results
226.0ms5721×body80valid
158.0ms790×body1280valid
119.0ms809×body640valid
103.0ms3644×body80nan
56.0ms351×body1280nan
50.0ms416×body640nan
46.0ms447×body320valid
21.0ms218×body320nan
16.0ms233×body160valid
8.0ms138×body160nan