Details

Time bar (total: 1.6s)

sample68.0ms

Algorithm
intervals
Results
35.0ms113×body1280valid
12.0ms74×body640valid
6.0ms238×body80valid
3.0ms29×body320valid
2.0ms29×body160valid

simplify13.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
078
1148
2248
3308
4348
done348

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.1b

localize6.0ms

Local error

Found 1 expressions with local error:

7.3b
(- (exp x) (exp (- x)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
6.0ms
(- (exp x) (exp (- x)))

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(- (exp x) (exp (- x)))

simplify1.2s

Counts
17 → 17
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
046185
1102176
2249158
3549157
41909157
done5000157

prune50.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.1b
(* 1/60 (pow x 5))
0.2b
(* 1/3 (pow x 3))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×associate-*r*
13×add-exp-log
10×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down add-log-exp
7×add-cbrt-cube unswap-sqr
6×associate-*l* prod-exp
4×cube-prod sqr-pow
3×pow1 sum-log
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative cube-mult associate-+r+ flip3-+ unpow3 flip-+
Counts
3 → 69
Calls
3 calls:
8.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
8.0ms
(* 1/60 (pow x 5))
7.0ms
(* 1/3 (pow x 3))

series142.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
52.0ms
(* 1/60 (pow x 5))
35.0ms
(* 1/3 (pow x 3))

simplify35.0ms

Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0122847