Details

Time bar (total: 35.7s)

sample268.0ms

Algorithm
intervals
Results
113.0ms87×body1280valid
50.0ms89×body640valid
37.0ms269×body80valid
25.0ms65×body320valid
5.0ms20×body160valid

simplify24.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
01415
12414
24514
39014
418914
528114
635814
749314
864614
9103114
10180014
11258614
12324314
13356414
14364814
done364814

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.9b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b
(* J (- (exp l) (exp (- l))))
4.6b
(- (exp l) (exp (- l)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×*-un-lft-identity prod-diff
23×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
5×associate-*r*
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×sub-neg fma-neg associate-*l*
2×expm1-log1p-u flip3-- associate-*r/ flip-- log1p-expm1-u distribute-lft-out-- difference-of-squares
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 74
Calls
2 calls:
67.0ms
(* J (- (exp l) (exp (- l))))
44.0ms
(- (exp l) (exp (- l)))

series161.0ms

Counts
2 → 6
Calls
2 calls:
98.0ms
(* J (- (exp l) (exp (- l))))
63.0ms
(- (exp l) (exp (- l)))

simplify2.2s

Counts
80 → 80
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01311620
12591196
2605915
32360751
done5000724

prune307.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l* fma-udef
2×expm1-log1p-u log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 32
Calls
2 calls:
8.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
1.0ms
(fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)

series574.0ms

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

simplify1.5s

Counts
38 → 38
Iterations

Useful iterations: 3 (501.0ms)

IterNodesCost
082824
1168815
2453704
31917690
done5001690

prune198.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log
16×add-sqr-sqrt
13×associate-*r*
11×add-cbrt-cube
10×prod-exp
9×add-cube-cbrt *-un-lft-identity
6×pow1 associate-*l* add-log-exp
4×expm1-log1p-u unpow-prod-down cube-prod cbrt-unprod log1p-expm1-u unswap-sqr
3×fma-udef
2×pow-to-exp associate-+r+ pow-exp *-commutative sqr-pow
1×+-commutative distribute-rgt-in cube-mult fma-def distribute-lft-in flip3-+ unpow3 pow-prod-down sum-log flip-+
Counts
4 → 80
Calls
4 calls:
22.0ms
(+ (* 1/3 (* J (pow l 3))) (* J (fma 1/60 (pow l 5) (* 2 l))))
0.0ms
(fma (+ (* 1/3 (* J (pow l 3))) (* J (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
27.0ms
(* 1/3 (* J (pow l 3)))
21.0ms
(* J (pow l 3))

series739.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(+ (* 1/3 (* J (pow l 3))) (* J (fma 1/60 (pow l 5) (* 2 l))))
422.0ms
(fma (+ (* 1/3 (* J (pow l 3))) (* J (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
75.0ms
(* 1/3 (* J (pow l 3)))
59.0ms
(* J (pow l 3))

simplify1.1s

Counts
92 → 92
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01431348
13471220
211301101
done50001058

prune567.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×associate-*r*
16×add-exp-log
13×add-cbrt-cube
11×pow1 add-cube-cbrt *-un-lft-identity
7×associate-*l* prod-exp
6×add-log-exp
5×cbrt-unprod unswap-sqr
4×expm1-log1p-u unpow-prod-down cube-prod associate-*r/ pow-prod-down log1p-expm1-u
3×flip3-+ *-commutative flip-+
2×associate-*l/ sqr-pow
1×+-commutative distribute-rgt-in cube-mult pow-to-exp fma-def distribute-lft-in unpow3 pow-exp sum-log
Counts
4 → 93
Calls
4 calls:
47.0ms
(* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l))))
93.0ms
(+ (* (* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
85.0ms
(* (* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
22.0ms
(* 1/3 (pow l 3))

series954.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l))))
446.0ms
(+ (* (* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
256.0ms
(* (* J (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
65.0ms
(* 1/3 (pow l 3))

simplify1.1s

Counts
105 → 105
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01732058
14471858
215831655
done50011654

prune563.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes2.0ms