Details

Time bar (total: 4.7s)

sample47.0ms

Algorithm
intervals
Results
9.0ms176×body80valid
6.0ms26×body1280valid
5.0ms27×body640valid
4.0ms21×body1280nan
3.0ms23×body640nan
3.0ms86×body80nan
3.0ms22×body320valid
1.0ms10×body320nan
0.0ms5×body160valid
0.0ms4×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

prune3.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: 19.9b

Counts
2 → 1

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.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
51×*-un-lft-identity
28×times-frac
19×difference-of-squares
18×add-cube-cbrt
17×distribute-lft-out--
12×log-prod
7×add-exp-log add-log-exp
6×pow1 flip3-- add-cbrt-cube flip-- associate--r+
5×associate-/r* associate-/l*
4×log-div
3×associate--r-
2×sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num div-inv
Counts
4 → 108
Calls
4 calls:
16.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
17.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms
(/ (- x y) (- 1.0 y))
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
87.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify45.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0488942
11388894
25001876

prune276.0ms

Filtered
120 candidates to 88 candidates (73.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1155120
Fresh000
Picked101
Done000
Total1165121

Merged error: 0.0b

Counts
121 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.3b
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
3.8b
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
13.0b
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
33×cbrt-prod
32×add-sqr-sqrt
30×*-un-lft-identity
14×add-cube-cbrt cbrt-div
12×pow1
10×swap-sqr
9×flip3-- flip--
8×associate-*r* associate-*l*
7×add-exp-log pow1/3 distribute-lft-out--
6×add-log-exp
5×difference-of-squares
4×frac-times add-cbrt-cube unswap-sqr
3×log-prod
2×log-div associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 sub-neg pow-plus diff-log rem-log-exp prod-exp log-pow *-commutative cbrt-unprod
Counts
4 → 97
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
11.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
2.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
3.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

series339.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(cbrt (- 1.0 y))
103.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
90.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
57.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
04711207
116151111
250011046

prune279.0ms

Filtered
109 candidates to 78 candidates (71.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1090109
Fresh044
Picked011
Done000
Total1095114

Merged error: 0.0b

Counts
114 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×log-prod
15×*-un-lft-identity
8×difference-of-squares
7×pow1 add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
3×rem-log-exp log-pow
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 67
Calls
4 calls:
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
14.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series303.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
83.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
83.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
83.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify53.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0194742
1481673
21890661
35002661

prune263.0ms

Filtered
79 candidates to 63 candidates (79.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New79079
Fresh033
Picked011
Done011
Total79584

Merged error: 0.0b

Counts
84 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.9b
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
3.9b
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
18×log-prod
16×*-un-lft-identity
12×cbrt-prod
8×add-cube-cbrt add-log-exp difference-of-squares
6×pow1 add-exp-log
4×log-div cbrt-div flip3-- times-frac log-pow add-cbrt-cube flip-- distribute-lft-out--
2×sub-neg pow1/3 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 74
Calls
4 calls:
14.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
14.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series528.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
52.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
304.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))
118.0ms
(log (cbrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 3 (50.0ms)

IterNodesCost
0238846
1522782
21946774
35003760

prune240.0ms

Filtered
86 candidates to 68 candidates (79.1%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New86086
Fresh022
Picked011
Done022
Total86591

Merged error: 0.0b

Counts
91 → 5

regimes194.0ms

Accuracy

99.7% (0.1b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 17.5b

bsearch143.0ms

Steps
ItersRangePoint
11
0.06291072096871789
3.278345425089741e+27
56269067.0291874
7
-79301947053416.23
-1073005218934.9313
-1086266281199.134

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03823
13823

end0.0ms

sample1.4s

Algorithm
intervals
Results
272.0ms5599×body80valid
215.0ms866×body1280valid
146.0ms823×body640valid
134.0ms750×body1280nan
109.0ms742×body640nan
96.0ms2689×body80nan
62.0ms475×body320valid
47.0ms450×body320nan
20.0ms237×body160valid
15.0ms222×body160nan