Details

Time bar (total: 7.7s)

sample86.0ms

Algorithm
intervals
Results
50.0ms592×body80valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

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

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c t) (* i y))
4.4b
(* b (- (* c z) (* i a)))
5.2b
(* j (- (* c t) (* i y)))
6.1b
(* x (- (* y z) (* t a)))

rewrite28.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
(- (* c t) (* i y))
6.0ms
(* b (- (* c z) (* i a)))
9.0ms
(* j (- (* c t) (* i y)))
7.0ms
(* x (- (* y z) (* t a)))

series252.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (* c t) (* i y))
71.0ms
(* b (- (* c z) (* i a)))
72.0ms
(* j (- (* c t) (* i y)))
70.0ms
(* x (- (* y z) (* t a)))

simplify57.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
0478643
11975572
25002572

prune506.0ms

Filtered
112 candidates to 82 candidates (73.2%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New8824112
Fresh000
Picked101
Done000
Total8924113

Merged error: 7.5b

Counts
113 → 24

localize22.0ms

Local error

Found 4 expressions with local error:

5.2b
(* b (- (* i a)))
5.2b
(* j (- (* c t) (* i y)))
5.7b
(* b (* c z))
6.1b
(* x (- (* y z) (* t a)))

rewrite26.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:
5.0ms
(* b (- (* i a)))
6.0ms
(* j (- (* c t) (* i y)))
5.0ms
(* b (* c z))
8.0ms
(* x (- (* y z) (* t a)))

series209.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* b (- (* i a)))
77.0ms
(* j (- (* c t) (* i y)))
33.0ms
(* b (* c z))
71.0ms
(* x (- (* y z) (* t a)))

simplify69.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
0481550
12195483
25001481

prune494.0ms

Filtered
112 candidates to 83 candidates (74.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1093112
Fresh41923
Picked101
Done000
Total11422136

Merged error: 6.2b

Counts
136 → 22

localize25.0ms

Local error

Found 4 expressions with local error:

4.4b
(* b (- (* c z) (* i a)))
5.2b
(* j (- (* c t) (* i y)))
6.1b
(* x (fma y z (- (* a t))))
50.1b
(fma (- a) t (* a t))

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

series249.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* b (- (* c z) (* i a)))
69.0ms
(* j (- (* c t) (* i y)))
79.0ms
(* x (fma y z (- (* a t))))
29.0ms
(fma (- a) t (* a t))

simplify54.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0412562
11685493
25001493

prune479.0ms

Filtered
100 candidates to 71 candidates (71.0%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New991100
Fresh12021
Picked101
Done000
Total10121122

Merged error: 6.2b

Counts
122 → 21

localize28.0ms

Local error

Found 4 expressions with local error:

6.1b
(* x (- (* y z) (* t a)))
13.0b
(cbrt (- (* i a)))
13.0b
(cbrt (- (* i a)))
13.0b
(cbrt (- (* i a)))

rewrite14.0ms

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

series415.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* x (- (* y z) (* t a)))
112.0ms
(cbrt (- (* i a)))
113.0ms
(cbrt (- (* i a)))
114.0ms
(cbrt (- (* i a)))

simplify92.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0254502
1823460
22991436
35003433

prune429.0ms

Filtered
88 candidates to 74 candidates (84.1%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New87188
Fresh02020
Picked101
Done000
Total8821109

Merged error: 6.2b

Counts
109 → 21

regimes1.1s

Accuracy

-5.3% (6.3b remaining)

Error of 12.7b against oracle of 6.4b and baseline of 12.4b

bsearch140.0ms

Steps
ItersRangePoint
7
2.480690409674102e-115
3.6389364174244e-113
8.93782603631727e-115
3
-2.442956042486433e-174
-1.9001500466313348e-174
-2.318410432136459e-174

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07558
18858
28858

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s19241×body80valid

Profiling

Loading profile data...