Details

Time bar (total: 4.3s)

sample35.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.0ms9×body160valid
1.0ms7×body320nan
0.0ms5×body160nan

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

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize8.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))))

rewrite57.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:
11.0ms
(/ (- x y) (- 1.0 y))
23.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
19.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series175.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ (- x y) (- 1.0 y))
53.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
85.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify38.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0397707
11115663
25001658

prune224.0ms

Filtered
94 candidates to 69 candidates (73.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize10.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)))))

rewrite86.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:
21.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
20.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
20.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
23.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series360.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
50.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
130.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
126.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

prune277.0ms

Filtered
88 candidates to 68 candidates (77.3%)
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))))))

rewrite90.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:
20.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
21.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
24.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))
22.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))

series409.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
131.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
112.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))
116.0ms
(log (sqrt (sqrt (- 1.0 (/ (- x y) (- 1.0 y))))))

simplify76.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
03341179
17241096
227091086
350011066

prune378.0ms

Filtered
104 candidates to 78 candidates (75.0%)
Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize13.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))

rewrite115.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:
37.0ms
(- (/ x (pow y 2)) (/ 1 y))
32.0ms
(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
37.0ms
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
4.0ms
(/ x (pow y 2))

series154.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05191121
118961014
250021005

prune287.0ms

Filtered
127 candidates to 82 candidates (64.6%)
Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes222.0ms

Accuracy

98.8% (0.2b remaining)

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

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

sample974.0ms

Algorithm
intervals
Results
212.0ms5665×body80valid
162.0ms851×body1280valid
105.0ms793×body640valid
94.0ms3655×body80nan
57.0ms346×body1280nan
43.0ms392×body640nan
41.0ms434×body320valid
17.0ms218×body320nan
16.0ms257×body160valid
5.0ms94×body160nan