Details

Time bar (total: 7.4s)

sample81.0ms

Algorithm
intervals
Results
43.0ms614×body80valid

simplify105.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune10.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 11.4b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* y z) (* t a))
4.8b
(* b (- (* c z) (* t i)))
4.9b
(* j (- (* c a) (* y i)))
6.2b
(* x (- (* y z) (* t a)))

rewrite26.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×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
7×sub-neg prod-diff
6×associate-*r/ add-log-exp
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log
Counts
4 → 100
Calls
4 calls:
4.0ms
(- (* y z) (* t a))
6.0ms
(* b (- (* c z) (* t i)))
6.0ms
(* j (- (* c a) (* y i)))
7.0ms
(* x (- (* y z) (* t a)))

series251.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (* y z) (* t a))
71.0ms
(* b (- (* c z) (* t i)))
69.0ms
(* j (- (* c a) (* y i)))
74.0ms
(* x (- (* y z) (* t a)))

simplify74.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
0476643
11969572
25001572

prune571.0ms

Filtered
112 candidates to 79 candidates (70.5%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New8824112
Fresh000
Picked101
Done000
Total8924113

Merged error: 8.5b

Counts
113 → 24

localize25.0ms

Local error

Found 4 expressions with local error:

4.8b
(* b (- (* c z) (* t i)))
4.9b
(* j (- (* c a) (* y i)))
5.3b
(* x (* y z))
5.5b
(* x (- (* t a)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
13×associate-*r*
12×associate-*l*
11×add-cube-cbrt *-un-lft-identity
6×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u sub-neg associate-*r/ prod-diff *-commutative log1p-expm1-u add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 100
Calls
4 calls:
7.0ms
(* b (- (* c z) (* t i)))
6.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* x (* y z))
6.0ms
(* x (- (* t a)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* b (- (* c z) (* t i)))
71.0ms
(* j (- (* c a) (* y i)))
25.0ms
(* x (* y z))
35.0ms
(* x (- (* t a)))

simplify79.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
0478550
12181483
25001483

prune591.0ms

Filtered
112 candidates to 80 candidates (71.4%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New1048112
Fresh111223
Picked101
Done000
Total11620136

Merged error: 5.7b

Counts
136 → 20

localize28.0ms

Local error

Found 4 expressions with local error:

4.8b
(* b (- (* c z) (* t i)))
4.9b
(* j (- (* c a) (* y i)))
6.2b
(* x (- (* y z) (* t a)))
50.3b
(fma (- i) y (* i y))

rewrite24.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×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
6×sub-neg associate-*r/ prod-diff
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
1×fma-udef
Counts
4 → 94
Calls
4 calls:
7.0ms
(* b (- (* c z) (* t i)))
7.0ms
(* j (- (* c a) (* y i)))
7.0ms
(* x (- (* y z) (* t a)))
1.0ms
(fma (- i) y (* i y))

series258.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* b (- (* c z) (* t i)))
75.0ms
(* j (- (* c a) (* y i)))
73.0ms
(* x (- (* y z) (* t a)))
34.0ms
(fma (- i) y (* i y))

simplify70.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
0456602
11902532
25001532

prune603.0ms

Filtered
106 candidates to 74 candidates (69.8%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New1015106
Fresh51419
Picked101
Done000
Total10719126

Merged error: 5.7b

Counts
126 → 19

localize32.0ms

Local error

Found 4 expressions with local error:

4.9b
(* j (- (* c a) (* y i)))
6.2b
(* x (- (* y z) (* t a)))
48.8b
(fma (- i) t (* i t))
50.3b
(fma (- i) y (* i y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
2×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef unswap-sqr
Counts
4 → 76
Calls
4 calls:
6.0ms
(* j (- (* c a) (* y i)))
7.0ms
(* x (- (* y z) (* t a)))
1.0ms
(fma (- i) t (* i t))
1.0ms
(fma (- i) y (* i y))

series203.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* j (- (* c a) (* y i)))
72.0ms
(* x (- (* y z) (* t a)))
26.0ms
(fma (- i) t (* i t))
35.0ms
(fma (- i) y (* i y))

simplify59.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0335468
11348412
25001412

prune509.0ms

Filtered
88 candidates to 65 candidates (73.9%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New84488
Fresh41418
Picked101
Done000
Total8918107

Merged error: 5.7b

Counts
107 → 18

regimes1.2s

Accuracy

5.2% (5.7b remaining)

Error of 12.2b against oracle of 6.4b and baseline of 12.5b

bsearch226.0ms

Steps
ItersRangePoint
9
8.435309422245879e-207
6.9982865913318655e-199
1.9462628680957005e-206
7
-1.479182266387227e-230
-6.901549930892348e-232
-1.0964024811983777e-231

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07142
18442
28842
38842

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s18804×body80valid