Details

Time bar (total: 3.7s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
110
07

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×fma-def add-log-exp
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ log1p-expm1-u distribute-lft-out
Counts
1 → 17
Calls
1 calls:
10.0ms
(+ (exp x) (exp (- x)))

series32.0ms

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

simplify1.8s

Counts
20 → 20
Iterations
IterNodes
done5000
33187
2456
1110
040

prune104.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (exp x))
0.0b
(+ (/ 1 (exp x)) (exp x))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×add-sqr-sqrt times-frac add-cube-cbrt
13×fma-def
4×add-cbrt-cube pow-flip add-log-exp
3×pow1 exp-prod associate-/r* add-exp-log div-inv associate-/l*
2×expm1-log1p-u div-exp log1p-expm1-u distribute-lft-out
1×cbrt-undiv +-commutative rec-exp clear-num sum-log frac-2neg flip3-+ 1-exp flip-+ inv-pow
Counts
2 → 64
Calls
2 calls:
16.0ms
(/ 1 (exp x))
35.0ms
(+ (/ 1 (exp x)) (exp x))

series43.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(/ 1 (exp x))
34.0ms
(+ (/ 1 (exp x)) (exp x))

simplify894.0ms

Counts
70 → 70
Iterations
IterNodes
done5001
2859
1194
087

prune278.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample414.0ms

Algorithm
intervals
Results
313.0ms8000×body80valid