Details

Time bar (total: 6.7s)

sample52.0ms

Algorithm
intervals
Results
9.0ms186×body80valid
5.0ms22×body1280valid
5.0ms28×body1280nan
4.0ms23×body640valid
4.0ms26×body640nan
3.0ms94×body80nan
2.0ms16×body320valid
1.0ms8×body320nan
1.0ms11×body160nan
1.0ms9×body160valid

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

prune4.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: 17.3b

Counts
2 → 1

localize9.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.5b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.1b
(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))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
16.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series269.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms
(/ (- x y) (- 1.0 y))
53.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
86.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify47.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0488942
11388894
25001876

prune412.0ms

Filtered
120 candidates to 88 candidates (73.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1146120
Fresh000
Picked101
Done000
Total1156121

Merged error: 0.2b

Counts
121 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.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:
7.0ms
(/ (- x y) (- 1.0 y))
17.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- 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)))

series382.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ (- x y) (- 1.0 y))
158.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
130.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
57.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify56.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
06211546
119741467
250011448

prune523.0ms

Filtered
156 candidates to 117 candidates (75.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1542156
Fresh235
Picked101
Done000
Total1575162

Merged error: 0b

Counts
162 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (log (sqrt (exp 1.0))) (log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))))
0.0b
(log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.1b
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
2.5b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
165×add-sqr-sqrt
128×times-frac
109×*-un-lft-identity
90×log-prod
65×add-cube-cbrt
60×sqrt-prod
42×associate-+r+
40×difference-of-squares
20×distribute-lft-out--
9×pow1 add-exp-log
6×associate-+l+ associate-/r* associate-/r/ add-cbrt-cube associate-/l* add-log-exp
5×log-pow
4×flip3-- flip-- distribute-lft-out
3×div-inv
2×log-div div-exp rem-log-exp
1×cbrt-undiv +-commutative associate-+r- sub-neg frac-2neg flip3-+ diff-log div-sub clear-num sum-log flip-+ associate--r-
Counts
4 → 195
Calls
4 calls:
24.0ms
(+ (log (sqrt (exp 1.0))) (log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))))
17.0ms
(log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
20.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series757.0ms

Counts
4 → 12
Calls
4 calls:
279.0ms
(+ (log (sqrt (exp 1.0))) (log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))))
222.0ms
(log (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
198.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
58.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify67.0ms

Algorithm
egg-herbie
Counts
207 → 207
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
06412968
118312843
250012740

prune722.0ms

Filtered
207 candidates to 135 candidates (65.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2070207
Fresh044
Picked011
Done000
Total2075212

Merged error: 0b

Counts
212 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
0.3b
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
2.5b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×*-un-lft-identity
18×cbrt-prod
12×unpow-prod-down cube-prod
11×add-cube-cbrt
10×pow1 distribute-lft-out--
8×difference-of-squares
6×add-exp-log log-prod add-log-exp
5×log-pow add-cbrt-cube
4×cube-div flip3-- flip--
3×pow-unpow
2×cube-mult log-div cbrt-div times-frac unpow3 sqr-pow
1×pow-to-exp sub-neg pow-pow pow1/3 diff-log div-sub rem-log-exp pow-exp rem-cbrt-cube associate--r- rem-cube-cbrt
Counts
4 → 93
Calls
4 calls:
5.0ms
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
5.0ms
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series676.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
435.0ms
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
58.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
91.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify74.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
08051310
130451226
250011220

prune305.0ms

Filtered
105 candidates to 66 candidates (62.9%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1050105
Fresh033
Picked011
Done011
Total1055110

Merged error: 0b

Counts
110 → 5

regimes398.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 18.3b

bsearch168.0ms

Steps
ItersRangePoint
10
0.058295420814313464
1162061955.1288235
45434512.66615456
8
-51137879487.79511
-94168834.41758807
-161291943.0248853

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03821
13821

end0.0ms

sample1.4s

Algorithm
intervals
Results
277.0ms5693×body80valid
201.0ms803×body1280valid
136.0ms762×body640valid
130.0ms705×body1280nan
112.0ms727×body640nan
89.0ms2589×body80nan
61.0ms478×body320valid
48.0ms451×body320nan
23.0ms264×body160valid
14.0ms205×body160nan

Profiling

Loading profile data...