Details

Time bar (total: 10.0m)

sample102.0ms

Algorithm
intervals
Results
33.0ms84×body1280valid
18.0ms270×body80valid
18.0ms75×body640valid
8.0ms48×body320valid
4.0ms33×body160valid

simplify379.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0248
1448
2918
31958
43328
56528
612798
716948
849808
950018

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)
6.3b
(- (exp l) (exp (- l)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity
9×add-cube-cbrt prod-diff
4×add-log-exp
3×fma-neg
2×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
1×sub-neg flip3-- diff-log flip-- fma-udef distribute-lft-out-- difference-of-squares
Counts
2 → 38
Calls
2 calls:
1.0ms
(fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)
6.0ms
(- (exp l) (exp (- l)))

series210.0ms

Counts
2 → 6
Calls
2 calls:
169.0ms
(fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)
41.0ms
(- (exp l) (exp (- l)))

simplify155.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 3 (150.0ms)

IterNodesCost
0229499
1610347
23424343
35001329

prune140.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)

series244.0ms

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

simplify96.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
083156
1217136
2769128
33325128
45001128

prune64.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod
4×pow1 add-exp-log add-cbrt-cube
3×expm1-log1p-u pow-unpow log1p-expm1-u add-log-exp
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow-pow pow1/3 pow-exp rem-cbrt-cube fma-udef rem-cube-cbrt
Counts
3 → 58
Calls
3 calls:
1.0ms
(fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
2.0ms
(pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)
2.0ms
(cbrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))

series1.1s

Counts
3 → 9
Calls
3 calls:
243.0ms
(fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
587.0ms
(pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)
246.0ms
(cbrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))

simplify39.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0211906
1780849
25001817

prune229.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

10.0b
(cbrt (sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)))
10.0b
(cbrt (sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)))
14.8b
(sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))
14.8b
(sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
48×sqrt-prod
30×cbrt-prod
24×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
14×unpow-prod-down cube-prod
8×rem-sqrt-square
6×sqr-pow
4×pow1 add-exp-log expm1-log1p-u cube-mult unpow3 add-cbrt-cube log1p-expm1-u add-log-exp
2×sqrt-pow1 pow1/2 pow1/3
Counts
4 → 104
Calls
4 calls:
3.0ms
(cbrt (sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)))
3.0ms
(cbrt (sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)))
3.0ms
(sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))
3.0ms
(sqrt (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3))

series10.0m