Details

Time bar (total: 5.4s)

analyze495.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
49.9%49.9%0.2%2
49.9%49.9%0.2%3
49.9%49.9%0.2%4
49.9%49.9%0.2%5
49.9%49.9%0.2%6
49.9%49.9%0.2%7
53%46.8%0.2%8
57.7%42.1%0.2%9
61.6%38.2%0.2%10
63.5%30%6.4%11
63.5%30%6.4%12
67.6%25.9%6.4%13
68.9%24.7%6.4%14

sample118.0ms

Algorithm
intervals
Results
23.0ms39×body1280valid
16.0ms42×body1280invalid
15.0ms45×body640invalid
12.0ms37×body640valid
9.0ms138×body80valid
8.0ms126×body80invalid
6.0ms26×body320valid
4.0ms21×body320invalid
2.0ms16×body160valid
2.0ms15×body160invalid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0481515
1481515

prune8.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: 18.7b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
0.3b
(* J (- (exp l) (exp (neg l))))
4.6b
(- (exp l) (exp (neg l)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×pow1 add-exp-log *-un-lft-identity add-cbrt-cube
9×associate-*r*
6×add-cube-cbrt
5×add-log-exp
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
3×sub-neg flip3-- flip--
2×sinh-undef associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
1×distribute-rgt-in distribute-lft-in diff-log unswap-sqr
Counts
3 → 59
Calls
3 calls:
9.0ms
(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
8.0ms
(* J (- (exp l) (exp (neg l))))
6.0ms
(- (exp l) (exp (neg l)))

series41.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
14.0ms
(* J (- (exp l) (exp (neg l))))
5.0ms
(- (exp l) (exp (neg l)))

simplify57.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05019714

prune89.0ms

Filtered
50 candidates to 68 candidates (-36.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New66268
Fresh000
Picked101
Done000
Total67269

Merged error: 0.1b

Counts
69 → 2

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* l (* J 2)) (cos (/ K 2.0))) U)
0.1b
(* (* l (* J 2)) (cos (/ K 2.0)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-exp-log add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
1×+-commutative flip3-+ associate-*l* sum-log *-commutative flip-+
Counts
2 → 32
Calls
2 calls:
8.0ms
(+ (* (* l (* J 2)) (cos (/ K 2.0))) U)
7.0ms
(* (* l (* J 2)) (cos (/ K 2.0)))

series32.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(+ (* (* l (* J 2)) (cos (/ K 2.0))) U)
12.0ms
(* (* l (* J 2)) (cos (/ K 2.0)))

simplify49.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04967483
14967483

prune86.0ms

Filtered
26 candidates to 38 candidates (-46.2%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New32638
Fresh011
Picked101
Done000
Total33740

Merged error: 0.0b

Counts
40 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* l (* J (* 2 (cos (/ K 2.0))))) U)
0.1b
(* l (* J (* 2 (cos (/ K 2.0)))))
0.1b
(* J (* 2 (cos (/ K 2.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-exp-log add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
6×associate-*l*
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
2×associate-*r* *-commutative
1×+-commutative flip3-+ sum-log flip-+
Counts
3 → 50
Calls
3 calls:
8.0ms
(+ (* l (* J (* 2 (cos (/ K 2.0))))) U)
7.0ms
(* l (* J (* 2 (cos (/ K 2.0)))))
5.0ms
(* J (* 2 (cos (/ K 2.0))))

series39.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(+ (* l (* J (* 2 (cos (/ K 2.0))))) U)
12.0ms
(* l (* J (* 2 (cos (/ K 2.0)))))
8.0ms
(* J (* 2 (cos (/ K 2.0))))

simplify32.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
05178653

prune96.0ms

Filtered
40 candidates to 59 candidates (-47.5%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New58159
Fresh156
Picked011
Done000
Total59766

Merged error: 0.0b

Counts
66 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
0.1b
(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))
0.3b
(* J (* 2 (sinh l)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-exp-log add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
4×associate-*r/ associate-*r* associate-*l*
2×sinh-def *-commutative
1×+-commutative flip3-+ associate-*l/ sum-log flip-+
Counts
3 → 52
Calls
3 calls:
11.0ms
(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
7.0ms
(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))
5.0ms
(* J (* 2 (sinh l)))

series84.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(+ (* (* J (* 2 (sinh l))) (cos (/ K 2.0))) U)
25.0ms
(* (* J (* 2 (sinh l))) (cos (/ K 2.0)))
14.0ms
(* J (* 2 (sinh l)))

simplify36.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05764680

prune72.0ms

Filtered
40 candidates to 61 candidates (-52.5%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New59261
Fresh145
Picked011
Done011
Total60868

Merged error: 0b

Counts
68 → 8

regimes451.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01612
11612

end0.0ms

sample3.4s

Algorithm
intervals
Results
688.0ms1183×body1280valid
559.0ms1415×body1280invalid
459.0ms1357×body640valid
334.0ms1212×body640invalid
281.0ms4216×body80valid
228.0ms3331×body80invalid
173.0ms809×body320valid
128.0ms649×body320invalid
60.0ms435×body160valid
39.0ms296×body160invalid

Profiling

Loading profile data...