Details

sample4.8m (85.1%)

Algorithm
6×halfpoints

simplify40.7s (12.1%)

prune3.8s (1.1%)

series3.7s (1.1%)

Calls

17 calls:

963.0ms
(cbrt (+ (exp x) (exp (- x))))
942.0ms
(cbrt (+ (exp x) (exp (- x))))
937.0ms
(cbrt (+ (exp x) (exp (- x))))
437.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
346.0ms
(+ (exp x) (exp (- x)))

rewrite937.0ms (0.3%)

Algorithm
5×rewrite-expression-head
Calls

17 calls:

372.0ms
(+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))
214.0ms
(* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
68.0ms
(+ (exp x) (exp (- x)))
31.0ms
(cbrt (+ (exp x) (exp (- x))))
24.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

localize824.0ms (0.2%)

regimes476.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

0.0b0%Euler formula real part (p55)

end5.0ms (0.0%)

bsearch0.0ms (0.0%)