Details

Time bar (total: 2.5s)

sample29.0ms

Algorithm
intervals
Results
13.0ms338×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
0502111

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

Counts
2 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (+ z 1.0))
0.1b
(* z (* z (+ z 1.0)))
6.9b
(* x (/ y (* z (* z (+ z 1.0)))))
8.1b
(/ y (* z (* z (+ z 1.0))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log add-cbrt-cube
16×add-sqr-sqrt
15×associate-*r/
14×*-un-lft-identity associate-*r* prod-exp cbrt-unprod
13×pow1
12×add-cube-cbrt
9×associate-*l*
6×cbrt-undiv times-frac div-exp
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×flip3-+ associate-/r/ flip-+ add-log-exp
3×*-commutative associate-/l*
2×div-inv unswap-sqr
1×frac-2neg clear-num associate-/r* distribute-lft-out
Counts
4 → 103
Calls
4 calls:
7.0ms
(* z (+ z 1.0))
8.0ms
(* z (* z (+ z 1.0)))
13.0ms
(* x (/ y (* z (* z (+ z 1.0)))))
9.0ms
(/ y (* z (* z (+ z 1.0))))

series40.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* z (+ z 1.0))
6.0ms
(* z (* z (+ z 1.0)))
16.0ms
(* x (/ y (* z (* z (+ z 1.0)))))
13.0ms
(/ y (* z (* z (+ z 1.0))))

simplify25.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
050201124

prune153.0ms

Filtered
74 candidates to 115 candidates (-55.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New10510115
Fresh101
Picked101
Done000
Total10710117

Merged error: 1.5b

Counts
117 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
1.9b
(* (* (cbrt y) (/ (cbrt y) z)) x)
2.0b
(/ (cbrt y) (* z (+ z 1.0)))
2.1b
(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
72×add-exp-log
50×add-cbrt-cube
37×prod-exp cbrt-unprod
18×pow1
15×associate-*r*
14×cbrt-undiv div-exp
13×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×cbrt-prod times-frac
9×pow-prod-down
8×associate-*r/
6×associate-/l*
4×associate-*l/ associate-/r/ add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+ div-inv
1×frac-times frac-2neg pow1/3 clear-num associate-/r*
Counts
4 → 112
Calls
4 calls:
1.0ms
(cbrt y)
9.0ms
(* (* (cbrt y) (/ (cbrt y) z)) x)
8.0ms
(/ (cbrt y) (* z (+ z 1.0)))
19.0ms
(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))

series118.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt y)
44.0ms
(* (* (cbrt y) (/ (cbrt y) z)) x)
30.0ms
(/ (cbrt y) (* z (+ z 1.0)))
19.0ms
(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))

simplify54.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050091410

prune153.0ms

Filtered
79 candidates to 124 candidates (-57.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1213124
Fresh189
Picked101
Done000
Total12311134

Merged error: 0.0b

Counts
134 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.1b
(* (* (cbrt y) (* (/ (cbrt y) z) (/ x z))) (/ (cbrt y) (+ z 1.0)))
2.0b
(* (cbrt y) (* (/ (cbrt y) z) (/ x z)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
51×add-cbrt-cube
39×prod-exp cbrt-unprod
35×*-un-lft-identity
31×associate-*r*
24×times-frac
23×add-sqr-sqrt add-cube-cbrt
21×cbrt-prod
18×pow1 cbrt-undiv div-exp
13×associate-*r/
9×pow-prod-down
7×associate-*l*
6×frac-times associate-*l/ distribute-lft-out
4×add-log-exp
2×pow1/3 associate-/r/ *-commutative
1×flip3-+ flip-+ div-inv
Counts
4 → 125
Calls
4 calls:
2.0ms
(cbrt y)
1.0ms
(cbrt y)
21.0ms
(* (* (cbrt y) (* (/ (cbrt y) z) (/ x z))) (/ (cbrt y) (+ z 1.0)))
12.0ms
(* (cbrt y) (* (/ (cbrt y) z) (/ x z)))

series119.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(cbrt y)
25.0ms
(cbrt y)
19.0ms
(* (* (cbrt y) (* (/ (cbrt y) z) (/ x z))) (/ (cbrt y) (+ z 1.0)))
47.0ms
(* (cbrt y) (* (/ (cbrt y) z) (/ x z)))

simplify66.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049481625
149481625

prune154.0ms

Filtered
75 candidates to 137 candidates (-82.7%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1361137
Fresh01010
Picked011
Done000
Total13612148

Merged error: 0.0b

Counts
148 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

0.6b
(/ (* y (/ x z)) (+ z 1.0))
1.8b
(/ (/ (* y (/ x z)) (+ z 1.0)) z)
4.5b
(* y (/ x z))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
44×*-un-lft-identity
37×add-sqr-sqrt
32×add-cube-cbrt
31×add-exp-log add-cbrt-cube
13×cbrt-undiv div-exp associate-*r*
11×associate-/l*
10×associate-/r/
7×associate-/r* div-inv
6×prod-exp cbrt-unprod distribute-lft-out
5×pow1 flip3-+ flip-+
3×associate-*l* add-log-exp
2×frac-2neg associate-*r/ clear-num associate-/l/ unswap-sqr
1×pow-prod-down *-commutative
Counts
3 → 122
Calls
3 calls:
9.0ms
(/ (* y (/ x z)) (+ z 1.0))
14.0ms
(/ (/ (* y (/ x z)) (+ z 1.0)) z)
8.0ms
(* y (/ x z))

series41.0ms

Counts
3 → 9
Calls
3 calls:
14.0ms
(/ (* y (/ x z)) (+ z 1.0))
16.0ms
(/ (/ (* y (/ x z)) (+ z 1.0)) z)
11.0ms
(* y (/ x z))

simplify65.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049581645
149581645

prune150.0ms

Filtered
94 candidates to 131 candidates (-39.4%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1247131
Fresh7310
Picked101
Done011
Total13211143

Merged error: 0b

Counts
143 → 11

regimes240.0ms

Accuracy

14.4% (3.2b remaining)

Error of 3.2b against oracle of 0.0b and baseline of 3.7b

bsearch32.0ms

Steps
ItersRangePoint
6
4.8461344139268896e-188
3.5804338955674786e-187
1.5732890712489846e-187
7
-1.3836310266212783e-77
-6.95771001963828e-80
-1.438885507548026e-79

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03138
13138

end0.0ms

sample842.0ms

Algorithm
intervals
Results
404.0ms10679×body80valid

Profiling

Loading profile data...