Details

sample4.4m (83.2%)

Algorithm
6×halfpoints

simplify36.6s (11.6%)

series8.9s (2.8%)

Calls

17 calls:

5.8s
(cbrt (+ (exp x) (exp (- x))))
1.1s
(cbrt (+ (exp x) (exp (- x))))
1.0s
(cbrt (+ (exp x) (exp (- x))))
521.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
479.0ms
(+ (exp x) (exp (- x)))

prune4.2s (1.3%)

localize1.6s (0.5%)

rewrite1.4s (0.4%)

Algorithm
5×rewrite-expression-head
Calls

17 calls:

442.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
119.0ms
(+ (exp x) (exp (- x)))
76.0ms
(+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))
30.0ms
(cbrt (+ (exp x) (exp (- x))))
23.0ms
(cbrt (+ (exp x) (exp (- x))))
Rules
41×*-un-lft-identity
32×add-sqr-sqrt
27×cbrt-prod add-cube-cbrt
16×associate-*l*
15×add-exp-log add-cbrt-cube
13×times-frac
12×pow1 add-log-exp
8×pow1/3
7×distribute-lft-out
6×cbrt-div
4×flip3-+ flip-+
3×associate-*r*
2×+.c-commutative cbrt-unprod unswap-sqr prod-exp
1×pow-prod-down cbrt-undiv *-commutative frac-2neg.c +-commutative div-inv associate-*l/ div-exp sum-log

regimes330.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

0.0b0%Euler formula real part (p55)

end4.0ms (0.0%)

bsearch0.0ms (0.0%)