Details

Time bar (total: 6.9s)

sample105.0ms

Algorithm
intervals
Results
49.0ms592×body80valid

simplify140.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (138.0ms)

IterNodesCost
0304729
1304729

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 13.5b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c a) (* y i))
5.0b
(* j (- (* c a) (* y i)))
5.6b
(* x (- (* y z) (* t a)))
5.7b
(* b (- (* c z) (* t i)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
3.0ms
(- (* c a) (* y i))
6.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* b (- (* c z) (* t i)))

series65.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* c a) (* y i))
18.0ms
(* j (- (* c a) (* y i)))
20.0ms
(* x (- (* y z) (* t a)))
17.0ms
(* b (- (* c z) (* t i)))

simplify33.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
050251007

prune209.0ms

Filtered
68 candidates to 96 candidates (-41.2%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New801696
Fresh000
Picked101
Done000
Total811697

Merged error: 5.0b

Counts
97 → 16

localize21.0ms

Local error

Found 4 expressions with local error:

4.5b
(* t (* x (neg a)))
5.0b
(* j (- (* c a) (* y i)))
5.4b
(* z (* x y))
5.7b
(* b (- (* c z) (* t i)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 85
Calls
4 calls:
5.0ms
(* t (* x (neg a)))
5.0ms
(* j (- (* c a) (* y i)))
4.0ms
(* z (* x y))
6.0ms
(* b (- (* c z) (* t i)))

series47.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* t (* x (neg a)))
17.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* z (* x y))
19.0ms
(* b (- (* c z) (* t i)))

simplify41.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05028830

prune200.0ms

Filtered
62 candidates to 97 candidates (-56.5%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New92597
Fresh11415
Picked101
Done000
Total9419113

Merged error: 4.0b

Counts
113 → 19

localize24.0ms

Local error

Found 4 expressions with local error:

4.5b
(* t (* x (neg a)))
5.0b
(* j (- (* c a) (* y i)))
5.7b
(* b (- (* c z) (* t i)))
6.1b
(* (* z x) y)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity associate-*r* associate-*l*
8×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 85
Calls
4 calls:
5.0ms
(* t (* x (neg a)))
5.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* b (- (* c z) (* t i)))
5.0ms
(* (* z x) y)

series51.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* t (* x (neg a)))
21.0ms
(* j (- (* c a) (* y i)))
17.0ms
(* b (- (* c z) (* t i)))
6.0ms
(* (* z x) y)

simplify43.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
05052831

prune194.0ms

Filtered
66 candidates to 97 candidates (-47.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New95297
Fresh31518
Picked101
Done000
Total9917116

Merged error: 1.4b

Counts
116 → 17

localize23.0ms

Local error

Found 4 expressions with local error:

4.5b
(* z (* b c))
5.0b
(* j (- (* c a) (* y i)))
5.9b
(* b (* t (neg i)))
6.1b
(* (* z x) y)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-exp-log add-cbrt-cube
11×add-sqr-sqrt
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ distribute-rgt-neg-out
1×flip3-- flip-- unswap-sqr
Counts
4 → 79
Calls
4 calls:
6.0ms
(* z (* b c))
5.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* b (* t (neg i)))
5.0ms
(* (* z x) y)

series34.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* z (* b c))
17.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* b (* t (neg i)))
5.0ms
(* (* z x) y)

simplify28.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
05445662

prune85.0ms

Filtered
55 candidates to 91 candidates (-65.5%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New86591
Fresh31316
Picked101
Done000
Total9018108

Merged error: 0.3b

Counts
108 → 18

regimes2.0s

Accuracy

15.9% (10.0b remaining)

Error of 10.9b against oracle of 0.9b and baseline of 12.8b

bsearch362.0ms

Steps
ItersRangePoint
8
9.82638921957209e+108
2.930503922715859e+111
4.872383381701955e+109
9
2.3603322613772588e+60
7.1434595616828e+66
1.0430332099538765e+62
10
2.470515667523004e-201
1.3737027264855262e-190
6.002177082805785e-198
5
-5.51747924574213e-185
-2.103989489648792e-185
-4.52108151681044e-185
9
-1.759626171052138e+132
-4.580207075442756e+125
-5.809991275033982e+125

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0155251
1155251

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.5s18981×body80valid

Profiling

Loading profile data...