Details

Time bar (total: 2.8s)

sample47.0ms

Algorithm
intervals
Results
13.0ms44×body1280valid
8.0ms161×body80valid
7.0ms33×body640valid
3.0ms23×body320valid
1.0ms11×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0678
1678

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
22×times-frac
21×add-cube-cbrt *-un-lft-identity
19×add-exp-log add-cbrt-cube
13×associate-*r*
6×cbrt-undiv div-exp associate-/r*
5×pow1
4×prod-exp cbrt-unprod associate-/l*
3×associate-*l* div-inv add-log-exp
2×frac-2neg associate-*r/ clear-num unswap-sqr
1×pow-prod-down *-commutative associate-/l/
Counts
3 → 83
Calls
3 calls:
7.0ms
(* x (/ (sin y) y))
4.0ms
(/ (sin y) y)
11.0ms
(/ (* x (/ (sin y) y)) z)

series30.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(* x (/ (sin y) y))
4.0ms
(/ (sin y) y)
15.0ms
(/ (* x (/ (sin y) y)) z)

simplify55.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04952739
14952739

prune102.0ms

Filtered
66 candidates to 92 candidates (-39.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New87592
Fresh101
Picked011
Done000
Total88694

Merged error: 0b

Counts
94 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
2.0b
(/ (sin y) (* y (cbrt z)))
2.6b
(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
35×add-cbrt-cube
16×add-sqr-sqrt prod-exp cbrt-unprod
14×cbrt-undiv div-exp
12×add-cube-cbrt *-un-lft-identity
10×times-frac
7×associate-*r* associate-*l*
6×pow1 cbrt-prod
4×add-log-exp
3×div-inv associate-/l*
2×pow1/3 unswap-sqr
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num associate-/r* *-commutative
Counts
4 → 89
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
5.0ms
(/ (sin y) (* y (cbrt z)))
12.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))

series87.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt z)
22.0ms
(cbrt z)
21.0ms
(/ (sin y) (* y (cbrt z)))
22.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))

simplify47.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04913847
14913847

prune91.0ms

Filtered
68 candidates to 101 candidates (-48.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1010101
Fresh044
Picked011
Done011
Total1016107

Merged error: 0b

Counts
107 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ z (sin y))
4.8b
(/ x (* y (/ z (sin y))))
6.5b
(* y (/ z (sin y)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
22×times-frac
21×add-cube-cbrt *-un-lft-identity
19×add-exp-log add-cbrt-cube
13×associate-*r*
6×cbrt-undiv div-exp associate-/l*
5×pow1
4×prod-exp associate-/r* cbrt-unprod
3×associate-*l* div-inv add-log-exp
2×frac-2neg associate-*r/ clear-num unswap-sqr
1×pow-prod-down associate-/r/ *-commutative
Counts
3 → 83
Calls
3 calls:
3.0ms
(/ z (sin y))
6.0ms
(/ x (* y (/ z (sin y))))
7.0ms
(* y (/ z (sin y)))

series40.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(/ z (sin y))
17.0ms
(/ x (* y (/ z (sin y))))
12.0ms
(* y (/ z (sin y)))

simplify58.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04964739
14964739

prune80.0ms

Filtered
67 candidates to 92 candidates (-37.3%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New91192
Fresh123
Picked011
Done022
Total92698

Merged error: 0b

Counts
98 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
430×times-frac
206×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
30×div-inv
16×add-exp-log associate-/r* add-cbrt-cube associate-/l*
9×cbrt-undiv div-exp
2×pow1 frac-2neg clear-num add-log-exp
1×associate-/r/ associate-/l/
Counts
2 → 242
Calls
2 calls:
3.0ms
(/ z (sin y))
11.0ms
(/ (/ x y) (/ z (sin y)))

series26.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(/ z (sin y))
15.0ms
(/ (/ x y) (/ z (sin y)))

simplify113.0ms

Algorithm
egg-herbie
Counts
248 → 248
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
050184234

prune182.0ms

Filtered
201 candidates to 248 candidates (-23.4%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New2480248
Fresh022
Picked011
Done033
Total2486254

Merged error: 0b

Counts
254 → 6

regimes394.0ms

Accuracy

90.4% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 2.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02235
12235

end0.0ms

sample1.3s

Algorithm
intervals
Results
305.0ms1014×body1280valid
289.0ms5875×body80valid
210.0ms988×body640valid
82.0ms580×body320valid
33.0ms303×body160valid

Profiling

Loading profile data...