Details

Time bar (total: 4.9s)

sample37.0ms

Algorithm
intervals
Results
7.0ms188×body80valid
4.0ms21×body1280valid
3.0ms27×body640valid
3.0ms127×body80nan
3.0ms20×body1280nan
2.0ms16×body640nan
1.0ms12×body320valid
0.0ms8×body160valid
0.0ms3×body320nan
0.0ms3×body160nan

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: 16.6b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
2.6b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
184×*-un-lft-identity
105×prod-diff
103×times-frac
91×add-cube-cbrt
49×difference-of-squares
47×distribute-lft-out--
12×log-prod
9×pow1 flip3-- flip--
8×associate-/r/
7×add-exp-log add-log-exp
6×fma-neg add-cbrt-cube associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num
Counts
4 → 227
Calls
4 calls:
38.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
22.0ms
(/ (- x y) (- 1.0 y))
43.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
45.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series238.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms
(/ (- x y) (- 1.0 y))
44.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
77.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify97.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
09864621
132403344
250013134

prune418.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x y))
0.6b
(cbrt (- x y))
5.2b
(log (- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y)))))
11.1b
(- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity
10×cbrt-prod
9×add-cube-cbrt
6×add-log-exp
5×pow1 add-exp-log
4×expm1-log1p-u cbrt-div flip3-- add-cbrt-cube flip-- log1p-expm1-u
3×log-prod fma-neg prod-diff
2×log-div pow1/3 distribute-lft-out-- difference-of-squares
1×sub-neg diff-log rem-log-exp log-pow
Counts
4 → 70
Calls
4 calls:
4.0ms
(cbrt (- x y))
4.0ms
(cbrt (- x y))
5.0ms
(log (- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y)))))
6.0ms
(- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y))))

series398.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(cbrt (- x y))
135.0ms
(cbrt (- x y))
78.0ms
(log (- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y)))))
50.0ms
(- 1.0 (* (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) (- 1.0 y))))

simplify106.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
0342988
1996844
24583772
35001751

prune278.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

2.6b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
152×add-sqr-sqrt
140×*-un-lft-identity
93×prod-diff
79×times-frac
72×add-cube-cbrt
38×difference-of-squares
34×distribute-lft-out--
18×log-prod
7×pow1 add-exp-log flip3-- flip--
6×log-div associate-/r/ add-log-exp
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg rem-log-exp log-pow div-inv
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 171
Calls
4 calls:
41.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
42.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
42.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
44.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series270.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
74.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
75.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
77.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify81.0ms

Algorithm
egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
07434004
123232916
250012680

prune464.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

1.7b
(/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))
2.6b
(fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y)))
5.2b
(log (/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y)))))
9.2b
(/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt *-un-lft-identity
23×times-frac
21×add-cube-cbrt
18×add-exp-log
15×add-cbrt-cube
13×log-prod
8×associate-/r*
6×div-exp
5×pow1 cbrt-undiv associate-/l/
4×expm1-log1p-u log1p-expm1-u distribute-neg-frac associate-/l* add-log-exp
3×flip3-- flip-- div-inv
2×frac-times frac-2neg associate-*r/ rem-log-exp prod-exp clear-num associate-/r/ cbrt-unprod distribute-lft-out-- difference-of-squares
1×log-div distribute-frac-neg associate-*l/ log-pow distribute-rgt-neg-out fma-udef
Counts
4 → 102
Calls
4 calls:
42.0ms
(/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))
0.0ms
(fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y)))
3.0ms
(log (/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y)))))
5.0ms
(/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y))))

series387.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))
76.0ms
(fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y)))
145.0ms
(log (/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y)))))
114.0ms
(/ (fma 1 (* 1.0 1.0) (/ (* (/ (- x y) (- 1.0 y)) (- (- x y))) (- 1.0 y))) (fma (/ 1.0 2) 2 (/ (- x y) (- 1.0 y))))

simplify65.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05602043
122941829
250011818

prune368.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes177.0ms

Accuracy

99.5% (0.1b remaining)

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

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02924
12924

end0.0ms

sample1.0s

Algorithm
intervals
Results
206.0ms5734×body80valid
145.0ms788×body1280valid
97.0ms778×body640valid
96.0ms3774×body80nan
53.0ms340×body1280nan
41.0ms458×body320valid
40.0ms391×body640nan
17.0ms227×body320nan
17.0ms242×body160valid
6.0ms119×body160nan