Details

Time bar (total: 4.9s)

sample35.0ms

Algorithm
intervals
Results
9.0ms33×body1280valid
8.0ms190×body80valid
5.0ms27×body640valid
2.0ms19×body320valid
1.0ms8×body160valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0124
1244
2484
3714
4794
5794

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

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b
(* x (/ (sin y) y))
0.1b
(/ (sin y) y)
3.7b
(/ (* x (/ (sin y) y)) z)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
108×add-sqr-sqrt
85×*-un-lft-identity
83×add-cube-cbrt
65×associate-*r*
34×associate-/l*
19×add-exp-log add-cbrt-cube
18×associate-*r/
15×associate-*l*
12×associate-/r*
11×associate-/l/
10×unswap-sqr
7×div-inv
6×cbrt-undiv div-exp clear-num
5×pow1 *-commutative
4×frac-2neg prod-exp un-div-inv cbrt-unprod
3×expm1-log1p-u log1p-expm1-u add-log-exp
1×pow-prod-down
Counts
3 → 197
Calls
3 calls:
8.0ms
(* x (/ (sin y) y))
4.0ms
(/ (sin y) y)
15.0ms
(/ (* x (/ (sin y) y)) z)

series152.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(* x (/ (sin y) y))
29.0ms
(/ (sin y) y)
69.0ms
(/ (* x (/ (sin y) y)) z)

simplify97.0ms

Algorithm
egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
07181383
134131312
250011312

prune334.0ms

Filtered
206 candidates to 161 candidates (78.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1997206
Fresh000
Picked101
Done000
Total2007207

Merged error: 0b

Counts
207 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (sin y) y)
2.2b
(/ (/ (sin y) y) (/ z x))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
430×times-frac
210×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
30×div-inv
22×associate-/r* associate-/l*
16×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp associate-/r/ associate-/l/
4×frac-2neg clear-num
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
Counts
2 → 262
Calls
2 calls:
4.0ms
(/ (sin y) y)
13.0ms
(/ (/ (sin y) y) (/ z x))

series107.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(/ (sin y) y)
81.0ms
(/ (/ (sin y) y) (/ z x))

simplify65.0ms

Algorithm
egg-herbie
Counts
268 → 268
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
013602785
150012694

prune489.0ms

Filtered
268 candidates to 218 candidates (81.3%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2653268
Fresh426
Picked011
Done000
Total2696275

Merged error: 0b

Counts
275 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(* z (/ y (sin y)))
0.1b
(/ y (sin y))
2.6b
(/ (* x 1) (* z (/ y (sin y))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
458×times-frac
368×add-sqr-sqrt
267×associate-*r*
247×*-un-lft-identity
221×add-cube-cbrt
117×associate-*l*
78×unswap-sqr
40×add-exp-log
39×*-commutative
32×associate-/r*
31×add-cbrt-cube
24×associate-/l*
18×associate-*r/
17×div-inv
14×div-exp prod-exp
11×associate-/r/
10×cbrt-undiv
9×cbrt-unprod
6×clear-num
5×pow1
4×frac-2neg un-div-inv
3×expm1-log1p-u 1-exp log1p-expm1-u add-log-exp
1×pow-prod-down
Counts
3 → 446
Calls
3 calls:
8.0ms
(* z (/ y (sin y)))
3.0ms
(/ y (sin y))
24.0ms
(/ (* x 1) (* z (/ y (sin y))))

series175.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(* z (/ y (sin y)))
25.0ms
(/ y (sin y))
84.0ms
(/ (* x 1) (* z (/ y (sin y))))

simplify88.0ms

Algorithm
egg-herbie
Counts
455 → 455
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
018224145
150023819

prune436.0ms

Filtered
455 candidates to 202 candidates (44.4%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New4532455
Fresh224
Picked011
Done101
Total4565461

Merged error: 0b

Counts
461 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (/ y (sin y)))
0.1b
(/ y (sin y))
0.7b
(/ 1 (/ (* z (/ y (sin y))) x))
2.4b
(/ (* z (/ y (sin y))) x)

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
753×times-frac
464×add-sqr-sqrt
379×*-un-lft-identity
374×add-cube-cbrt
234×associate-*r*
91×associate-/r*
66×associate-/l*
55×associate-*l*
54×add-exp-log
40×associate-/r/
36×unswap-sqr
34×add-cbrt-cube
27×associate-*r/
26×div-exp
25×div-inv
22×associate-/l/
18×*-commutative
14×cbrt-undiv
11×clear-num
10×prod-exp
7×pow1 frac-2neg
6×un-div-inv cbrt-unprod
4×expm1-log1p-u rec-exp 1-exp log1p-expm1-u add-log-exp
3×remove-double-div
1×pow-flip pow-prod-down inv-pow
Counts
4 → 565
Calls
4 calls:
8.0ms
(* z (/ y (sin y)))
4.0ms
(/ y (sin y))
31.0ms
(/ 1 (/ (* z (/ y (sin y))) x))
14.0ms
(/ (* z (/ y (sin y))) x)

series253.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* z (/ y (sin y)))
25.0ms
(/ y (sin y))
86.0ms
(/ 1 (/ (* z (/ y (sin y))) x))
76.0ms
(/ (* z (/ y (sin y))) x)

simplify103.0ms

Algorithm
egg-herbie
Counts
577 → 577
Iterations

Useful iterations: 1 (45.0ms)

IterNodesCost
018685480
150015187

prune884.0ms

Filtered
577 candidates to 391 candidates (67.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New5761577
Fresh123
Picked011
Done101
Total5784582

Merged error: 0b

Counts
582 → 4

regimes68.0ms

Accuracy

84.9% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 3.0b

bsearch93.0ms

Steps
ItersRangePoint
8
9.089452028859432e-94
7.622644861020829e-90
8.621083970315108e-91
10
-1.0490233289245276e-43
-5.771075845445983e-57
-6.806186064203902e-50

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02510
12510

end0.0ms

sample1.2s

Algorithm
intervals
Results
457.0ms5890×body80valid
274.0ms972×body1280valid
184.0ms1015×body640valid
74.0ms568×body320valid
26.0ms293×body160valid