Details

Time bar (total: 4.4s)

sample36.0ms

Algorithm
intervals
Results
7.0ms190×body80valid
5.0ms28×body1280valid
3.0ms132×body80nan
2.0ms16×body1280nan
2.0ms16×body640valid
1.0ms13×body640nan
1.0ms13×body320valid
1.0ms7×body320nan
1.0ms9×body160valid
0.0ms5×body160nan

simplify20.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite40.0ms

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

series193.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(/ (- x y) (- 1.0 y))
58.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
96.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify39.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0397707
11115663
25001658

prune241.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.6b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
4.6b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite58.0ms

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

series396.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
59.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
137.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
141.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify61.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (52.0ms)

IterNodesCost
0228854
1533780
22128776
35001768

prune291.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.6b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
4.6b
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))
4.6b
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
36×sqrt-prod
33×log-prod
32×add-sqr-sqrt
20×*-un-lft-identity
13×log-pow
12×pow1 add-cube-cbrt
10×sqrt-div
9×sqrt-pow1
8×difference-of-squares
7×add-exp-log
6×log-div add-log-exp
5×pow1/2
4×flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
3×rem-log-exp
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 92
Calls
4 calls:
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
15.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))
15.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))

series444.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
143.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
121.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))
123.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))

simplify85.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 3 (67.0ms)

IterNodesCost
03341179
17241096
227091086
350011066

prune393.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ x (pow y 2)) (/ 1 y))
1.9b
(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
2.5b
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
9.8b
(/ x (pow y 2))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
48×times-frac
34×*-un-lft-identity
22×add-cube-cbrt
15×unpow-prod-down difference-of-squares
10×add-exp-log
8×associate-/r* add-log-exp
7×unpow2 sqr-pow
6×associate-*r/ frac-add add-cbrt-cube
5×pow1 log-div
4×associate-+l+
3×sub-neg log-prod flip3-- div-exp frac-sub flip-- associate-/l* distribute-lft-out--
2×distribute-rgt-in distribute-lft-in flip3-+ flip-+ div-inv
1×cbrt-undiv +-commutative pow-to-exp frac-2neg diff-log rem-log-exp pow-exp clear-num sum-log log-pow
Counts
4 → 115
Calls
4 calls:
21.0ms
(- (/ x (pow y 2)) (/ 1 y))
26.0ms
(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
30.0ms
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
5.0ms
(/ x (pow y 2))

series165.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- (/ x (pow y 2)) (/ 1 y))
71.0ms
(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
34.0ms
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
28.0ms
(/ x (pow y 2))

simplify54.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
05191147
117951014
250011005

prune296.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes226.0ms

Accuracy

98.8% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 18.5b

bsearch133.0ms

Steps
ItersRangePoint
11
0.8818080259852756
4.2034886563207535e+23
4.145472021658296e+23
5
-195151873765.63306
-77640530132.15767
-79025762686.63672

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05340
15340

end0.0ms

sample975.0ms

Algorithm
intervals
Results
212.0ms5665×body80valid
159.0ms851×body1280valid
110.0ms793×body640valid
100.0ms3655×body80nan
51.0ms346×body1280nan
43.0ms392×body640nan
41.0ms434×body320valid
20.0ms218×body320nan
16.0ms257×body160valid
5.0ms94×body160nan