Details

Time bar (total: 13.0s)

sample34.0ms

Algorithm
intervals
Results
8.0ms28×body1280valid
8.0ms182×body80valid
6.0ms36×body640valid
2.0ms14×body320valid
1.0ms14×body160valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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.0b

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.0b
(/ (* x (/ (sin y) y)) z)

rewrite34.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)
14.0ms
(/ (* x (/ (sin y) y)) z)

series151.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(* x (/ (sin y) y))
30.0ms
(/ (sin y) y)
70.0ms
(/ (* x (/ (sin y) y)) z)

simplify88.0ms

Algorithm
egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
07181383
134131312
250021312

prune448.0ms

Filtered
206 candidates to 161 candidates (78.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2015206
Fresh000
Picked011
Done000
Total2016207

Merged error: 0.0b

Counts
207 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-times
76×add-sqr-sqrt
65×*-un-lft-identity
64×add-cube-cbrt associate-/l*
63×associate-/r*
31×times-frac
22×clear-num
21×frac-2neg
16×add-exp-log add-cbrt-cube
13×associate-*r* associate-*l*
9×associate-*r/ associate-*l/
5×cbrt-undiv div-exp
4×pow1 prod-exp cbrt-unprod unswap-sqr
3×div-inv
2×expm1-log1p-u un-div-inv log1p-expm1-u add-log-exp
1×pow-prod-down *-commutative
Counts
2 → 179
Calls
2 calls:
4.0ms
(/ (sin y) y)
14.0ms
(* (/ (sin y) y) (/ x z))

series90.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(/ (sin y) y)
60.0ms
(* (/ (sin y) y) (/ x z))

simplify101.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08131164
140231104
250021104

prune384.0ms

Filtered
185 candidates to 124 candidates (67.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1814185
Fresh314
Picked101
Done011
Total1856191

Merged error: 0b

Counts
191 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
1.4b
(/ (/ x (* (cbrt z) (cbrt z))) (* (/ y (sin y)) (cbrt z)))

rewrite429.0ms

Algorithm
rewrite-expression-head
Rules
5675×times-frac
4038×add-sqr-sqrt
2474×add-cube-cbrt *-un-lft-identity
1847×cbrt-prod
1646×associate-*l*
1044×associate-*r*
696×unswap-sqr
528×swap-sqr
174×*-commutative
116×div-inv
113×add-cbrt-cube
91×associate-/l*
67×cbrt-undiv
58×associate-/r*
44×cbrt-unprod
40×add-exp-log
33×associate-/l/
18×div-exp
9×associate-*l/ prod-exp associate-/r/
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg pow1/3 clear-num
Counts
4 → 2625
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
79.0ms
(/ (/ x (* (cbrt z) (cbrt z))) (* (/ y (sin y)) (cbrt z)))

series646.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt z)
174.0ms
(cbrt z)
187.0ms
(cbrt z)
110.0ms
(/ (/ x (* (cbrt z) (cbrt z))) (* (/ y (sin y)) (cbrt z)))

simplify640.0ms

Algorithm
egg-herbie
Counts
2637 → 2637
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0500153107

prune7.2s

Filtered
2637 candidates to 1789 candidates (67.8%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New263702637
Fresh044
Picked011
Done011
Total263762643

Merged error: 0b

Counts
2643 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
0.6b
(cbrt (sin y))
2.2b
(* (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y)) (/ x z))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
443×add-sqr-sqrt
177×unswap-sqr
145×cbrt-prod
129×associate-*r/
126×frac-times
124×add-cbrt-cube
116×associate-/l*
114×associate-*l*
109×times-frac
108×*-un-lft-identity
97×add-cube-cbrt
86×cbrt-unprod
75×associate-/r*
45×add-exp-log
41×associate-*r*
36×cbrt-undiv clear-num
25×frac-2neg
24×swap-sqr
22×prod-exp un-div-inv
14×associate-*l/
13×pow1
12×*-commutative
9×div-exp
6×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
Counts
4 → 395
Calls
4 calls:
2.0ms
(cbrt (sin y))
1.0ms
(cbrt (sin y))
2.0ms
(cbrt (sin y))
57.0ms
(* (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y)) (/ x z))

series381.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(cbrt (sin y))
102.0ms
(cbrt (sin y))
107.0ms
(cbrt (sin y))
64.0ms
(* (* (* (cbrt (sin y)) (cbrt (sin y))) (/ (cbrt (sin y)) y)) (/ x z))

simplify96.0ms

Algorithm
egg-herbie
Counts
407 → 407
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
019535967
150014809

prune936.0ms

Filtered
407 candidates to 252 candidates (61.9%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New4061407
Fresh123
Picked011
Done022
Total4076413

Merged error: 0b

Counts
413 → 6

regimes169.0ms

Accuracy

50% (1.7b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 3.4b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01816
11816

end0.0ms

sample1.0s

Algorithm
intervals
Results
281.0ms986×body1280valid
271.0ms5907×body80valid
188.0ms1026×body640valid
69.0ms525×body320valid
28.0ms301×body160valid