Details

Time bar (total: 6.2s)

sample99.0ms

Algorithm
intervals
Results
34.0ms79×body1280valid
20.0ms76×body640valid
16.0ms289×body80valid
6.0ms38×body320valid
3.0ms27×body160valid

simplify375.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0248
1448
2918
31958
43328
56528
612798
716948
849788
950018

prune7.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: 14.4b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.0b
(* J (- (exp l) (exp (- l))))
0.0b
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
3.7b
(- (exp l) (exp (- l)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
5×*-commutative
4×fma-def associate-*r/ associate-*l*
3×sub-neg flip3-- flip--
2×distribute-rgt-in distribute-lft-in associate-*l/
1×+-commutative flip3-+ flip-+
Counts
4 → 23
Calls
4 calls:
7.0ms
(+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
3.0ms
(* J (- (exp l) (exp (- l))))
5.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
2.0ms
(- (exp l) (exp (- l)))

series377.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
55.0ms
(* J (- (exp l) (exp (- l))))
90.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
35.0ms
(- (exp l) (exp (- l)))

simplify68.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0218248
1600234
22190217
35001213

prune107.0ms

Filtered
35 candidates to 26 candidates (74.3%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New34135
Fresh000
Picked101
Done000
Total35136

Merged error: 0.1b

Counts
36 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
0.0b
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
0.0b
(+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
0.1b
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
5×*-commutative
4×fma-def associate-*l*
3×fma-udef
1×+-commutative distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
4 → 14
Calls
4 calls:
2.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
1.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
9.0ms
(+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
4.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

series591.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
58.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
241.0ms
(+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
160.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

simplify73.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
0150187
1468180
22404156
35001155

prune91.0ms

Filtered
26 candidates to 18 candidates (69.2%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New23326
Fresh000
Picked101
Done000
Total24327

Merged error: 0.0b

Counts
27 → 3

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
0.0b
(fma (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (* J (cos (/ K 2.0))) U)
0.2b
(* J (cos (/ K 2.0)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
2×fma-udef
1×*-commutative
Counts
3 → 3
Calls
3 calls:
1.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
1.0ms
(fma (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (* J (cos (/ K 2.0))) U)
3.0ms
(* J (cos (/ K 2.0)))

series234.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
133.0ms
(fma (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (* J (cos (/ K 2.0))) U)
44.0ms
(* J (cos (/ K 2.0)))

simplify71.0ms

Algorithm
egg-herbie
Counts
12 → 12
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
07959
121158
269650
3230350
4500150

prune39.0ms

Filtered
12 candidates to 7 candidates (58.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New12012
Fresh022
Picked011
Done000
Total12315

Merged error: 0.0b

Counts
15 → 3

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
0.0b
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
0.0b
(fma (cos (/ K 2.0)) (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) U)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×fma-udef
1×distribute-rgt-in distribute-lft-in *-commutative
Counts
3 → 5
Calls
3 calls:
2.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
1.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
1.0ms
(fma (cos (/ K 2.0)) (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) U)

series575.0ms

Counts
3 → 9
Calls
3 calls:
132.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
57.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
384.0ms
(fma (cos (/ K 2.0)) (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) U)

simplify85.0ms

Algorithm
egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
010385
129780
290172
3280072
4500172

prune30.0ms

Filtered
14 candidates to 7 candidates (50.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New14014
Fresh011
Picked011
Done011
Total14317

Merged error: 0.0b

Counts
17 → 3

regimes141.0ms

Accuracy

0% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0219
1219

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.1s2614×body1280valid
680.0ms2534×body640valid
471.0ms8479×body80valid
254.0ms1453×body320valid
90.0ms743×body160valid