Details

Algorithm

13×

intervals

Results

Calls

47 calls:

1.4s	(pow (fmod (cosh a) (* a a)) (log1p a))
1.4s	(sinh c)
730.0ms	(* (cbrt (sqrt (atan2 b b))) (cbrt (sqrt (atan2 b b))))
654.0ms	(log (sqrt (exp (fmod (cosh a) (* a a)))))
645.0ms	(sin (pow (sqrt (atan2 b b)) (- b a)))

Algorithm

14×	rewrite-expression-head

Calls

47 calls:

536.0ms	(sin (* (pow (sqrt (atan2 b b)) (/ (- b a) 2)) (pow (sqrt (atan2 b b)) (/ (- b a) 2))))
519.0ms	(* 1/120 (pow c 5))
438.0ms	(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
318.0ms	(pow (sqrt (atan2 b b)) (- b a))
122.0ms	(+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))

Rules

274×	`add-sqr-sqrt`
166×	`*-un-lft-identity`
150×	`add-cube-cbrt`
148×	`sqrt-prod`
96×	`pow1`
81×	`add-exp-log`
80×	`cbrt-prod`
70×	`unpow-prod-down`
66×	`associate-r`
61×	`add-log-exp`
57×	`add-cbrt-cube`
54×	`pow-unpow`
48×	`unswap-sqr`
40×	`associate-l`
34×	`swap-sqr`
30×	`times-frac` `sqrt-pow1`
26×	`sqr-pow`
24×	`pow1/2`
20×	`log-pow`
15×	`prod-exp` `log-prod`
14×	`pow-pow`
12×	`pow1/3` `rem-sqrt-square` `exp-prod`
10×	`pow-exp` `pow-to-exp`
8×	`cube-prod` `sum-log` `difference-of-squares` `distribute-lft-out--`
7×	`*-commutative` `pow-prod-down` `pow-prod-up` `cbrt-unprod` `pow-sqr`
4×	`+-commutative` `sqrt-pow2` `flip-+` `flip3-+` `unpow-prod-up` `pow-sub`
3×	`pow-plus` `acos-asin` `pow2` `rem-log-exp`
2×	`associate-+r+` `cube-mult` `div-sub` `unpow3` `div-inv` `sinh-def` `sub-neg`
1×	`rem-square-sqrt` `sqrt-unprod`

Accuracy

Total 0.4b remaining (0.7%)

Threshold costs 0.4b (0.7%)