Details

Time bar (total: 4.5s)

sample44.0ms

Algorithm
intervals
Results
9.0ms187×body80valid
5.0ms21×body1280valid
4.0ms22×body640valid
4.0ms20×body1280nan
3.0ms98×body80nan
3.0ms26×body640nan
2.0ms18×body320valid
1.0ms10×body320nan
1.0ms8×body160valid
1.0ms9×body160nan

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

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: 16.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.1b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.3b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite56.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:
15.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
16.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series270.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
41.0ms
(/ (- x y) (- 1.0 y))
51.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
86.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify49.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0488942
11388894
25001876

prune261.0ms

Filtered
120 candidates to 88 candidates (73.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1173120
Fresh000
Picked101
Done000
Total1183121

Merged error: 0.1b

Counts
121 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
0.2b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
2.1b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
101×add-sqr-sqrt
77×*-un-lft-identity
69×times-frac
37×add-cube-cbrt
28×difference-of-squares
24×log-prod
20×distribute-lft-out--
11×associate-/r*
9×add-exp-log
8×add-cbrt-cube associate-/l*
6×associate-/r/ add-log-exp
5×pow1 flip3-- flip--
3×div-exp div-inv
2×cbrt-undiv frac-2neg div-sub rem-log-exp clear-num associate-/l/
1×sub-neg log-div diff-log log-pow associate--r-
Counts
4 → 144
Calls
4 calls:
15.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
16.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series378.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
41.0ms
(/ (- x y) (- 1.0 y))
127.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
55.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify62.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
06211546
119741467
250011448

prune331.0ms

Filtered
156 candidates to 118 candidates (75.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1551156
Fresh022
Picked011
Done000
Total1554159

Merged error: 0.0b

Counts
159 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))
0.1b
(/ (- x y) (sqrt (- 1.0 y)))
3.3b
(log (- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))))
7.8b
(- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y)))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
168×add-sqr-sqrt
128×*-un-lft-identity
126×times-frac
81×sqrt-prod
60×add-cube-cbrt
46×associate-*r*
31×distribute-lft-out-- difference-of-squares
30×associate-*l*
29×add-exp-log
18×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×prod-exp associate-/r*
7×pow1
6×flip3-- sqrt-div associate-/r/ flip-- add-log-exp
5×cbrt-undiv associate-/l*
4×cbrt-unprod
3×log-prod div-inv
2×log-div rec-exp 1-exp associate-/l/
1×frac-times sub-neg frac-2neg diff-log div-sub associate-*r/ rem-log-exp pow-prod-down associate-*l/ clear-num log-pow *-commutative
Counts
4 → 211
Calls
4 calls:
39.0ms
(* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))
9.0ms
(/ (- x y) (sqrt (- 1.0 y)))
2.0ms
(log (- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))))
3.0ms
(- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y)))))

series270.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))
81.0ms
(/ (- x y) (sqrt (- 1.0 y)))
93.0ms
(log (- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y))))))
60.0ms
(- 1.0 (* (/ 1 (sqrt (- 1.0 y))) (/ (- x y) (sqrt (- 1.0 y)))))

simplify103.0ms

Algorithm
egg-herbie
Counts
223 → 223
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
08382428
135532143
250012029

prune394.0ms

Filtered
223 candidates to 132 candidates (59.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2230223
Fresh022
Picked011
Done011
Total2234227

Merged error: 0.0b

Counts
227 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
0.0b
(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
0.3b
(* (* 1.0 (exp 1.0)) (- x y))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
8×add-exp-log add-cbrt-cube
7×add-sqr-sqrt *-un-lft-identity
5×add-cube-cbrt associate-*r* add-log-exp
4×distribute-rgt-in sub-neg associate-+l+ distribute-lft-in
3×log-prod pow-prod-down prod-exp cbrt-unprod
2×log-div flip3-+ associate-*r/ flip-+
1×+-commutative flip3-- rem-log-exp associate-*l* sum-log log-pow *-commutative flip-- distribute-lft-out-- difference-of-squares
Counts
3 → 55
Calls
3 calls:
11.0ms
(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
9.0ms
(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
8.0ms
(* (* 1.0 (exp 1.0)) (- x y))

series373.0ms

Counts
3 → 9
Calls
3 calls:
186.0ms
(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
96.0ms
(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
91.0ms
(* (* 1.0 (exp 1.0)) (- x y))

simplify53.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0326591
11456505
25002464

prune114.0ms

Filtered
64 candidates to 43 candidates (67.2%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh011
Picked011
Done022
Total64468

Merged error: 0.0b

Counts
68 → 4

regimes100.0ms

Accuracy

99.2% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 18.1b

bsearch149.0ms

Steps
ItersRangePoint
12
7.752825356470831e-10
3.74006404742235e+30
0.9973943231713572
9
-1062840214.3435993
-372.9323911053087
-126834216.68095887

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03720
13720

end0.0ms

sample1.3s

Algorithm
intervals
Results
272.0ms5729×body80valid
176.0ms754×body1280valid
138.0ms793×body640valid
131.0ms718×body1280nan
104.0ms774×body640nan
90.0ms2627×body80nan
61.0ms477×body320valid
43.0ms433×body320nan
20.0ms247×body160valid
16.0ms237×body160nan

Profiling

Loading profile data...