Details

Time bar (total: 2.7s)

sample45.0ms

Algorithm
intervals
Results
9.0ms185×body80valid
6.0ms25×body1280valid
4.0ms24×body640valid
4.0ms23×body1280nan
4.0ms29×body640nan
3.0ms90×body80nan
2.0ms16×body320valid
2.0ms17×body320nan
1.0ms8×body160nan
1.0ms6×body160valid

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

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: 17.6b

Counts
2 → 1

localize16.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))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.6b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite54.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))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
92.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)))
84.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify51.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0488942
11388894
25001876

prune269.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.1b

Counts
121 → 6

localize10.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.1b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite61.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)))))
11.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)))

series379.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
06211546
119741467
250011448

prune345.0ms

Filtered
156 candidates to 118 candidates (75.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1533156
Fresh415
Picked011
Done000
Total1575162

Merged error: 0.0b

Counts
162 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
0.1b
(/ 1 (- 1.0 (/ (- x y) (- 1.0 y))))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.6b
(log (/ 1 (- 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--
15×add-exp-log
11×associate-/r*
8×add-cbrt-cube associate-/l*
7×pow1
6×associate-/r/ add-log-exp
5×flip3-- div-exp flip--
4×rem-log-exp
3×log-pow div-inv
2×cbrt-undiv rec-exp pow-flip frac-2neg 1-exp div-sub clear-num associate-/l/ inv-pow
1×sub-neg log-div diff-log log-rec associate--r-
Counts
4 → 153
Calls
4 calls:
8.0ms
(/ (- x y) (- 1.0 y))
15.0ms
(/ 1 (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
16.0ms
(log (/ 1 (- 1.0 (/ (- x y) (- 1.0 y)))))

series288.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ (- x y) (- 1.0 y))
77.0ms
(/ 1 (- 1.0 (/ (- x y) (- 1.0 y))))
49.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
119.0ms
(log (/ 1 (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
05821439
118131341
250021270

prune250.0ms

Filtered
165 candidates to 99 candidates (60.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1641165
Fresh123
Picked011
Done011
Total1655170

Merged error: 0.0b

Counts
170 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 1.0 (log (+ 1.0 (* 1.0 (- x y)))))
5.6b
(log (+ 1.0 (* 1.0 (- x y))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
6×log-prod
4×pow1 add-sqr-sqrt add-cube-cbrt log-div
3×add-exp-log associate-+r+ flip3-+ flip-+ add-log-exp
2×associate-+r- log-pow add-cbrt-cube distribute-lft-out
1×+-commutative rem-log-exp sum-log
Counts
2 → 32
Calls
2 calls:
5.0ms
(+ 1.0 (log (+ 1.0 (* 1.0 (- x y)))))
2.0ms
(log (+ 1.0 (* 1.0 (- x y))))

series172.0ms

Counts
2 → 6
Calls
2 calls:
87.0ms
(+ 1.0 (log (+ 1.0 (* 1.0 (- x y)))))
85.0ms
(log (+ 1.0 (* 1.0 (- x y))))

simplify71.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 3 (67.0ms)

IterNodesCost
0232306
1623288
22989273
35001270

prune67.0ms

Filtered
38 candidates to 30 candidates (78.9%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New38038
Fresh022
Picked011
Done022
Total38543

Merged error: 0.0b

Counts
43 → 5

regimes143.0ms

bsearch3.0ms

Profiling

Loading profile data...