Details

rewrite3.1s (0.5%)

Algorithm

10×	rewrite-expression-head

Calls

32 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

206×	add-sqr-sqrt
126×	*-un-lft-identity
110×	add-cube-cbrt
88×	sqrt-prod
80×	cbrt-prod
66×	pow1
60×	add-exp-log
56×	associate-*r*
48×	pow-unpow
46×	add-log-exp
40×	unpow-prod-down add-cbrt-cube
32×	unswap-sqr
30×	times-frac associate-*l*
22×	swap-sqr
16×	pow1/2 sqrt-pow1
14×	prod-exp
12×	pow1/3 pow-pow rem-sqrt-square sqr-pow
8×	cube-prod sum-log difference-of-squares distribute-lft-out-- pow-exp pow-to-exp
6×	*-commutative cbrt-unprod
4×	+-commutative sqrt-pow2 flip-+ flip3-+ pow-prod-down pow-prod-up unpow-prod-up pow-sqr pow-sub
2×	associate-+r+ cube-mult div-sub unpow3 pow-plus div-inv pow2 sinh-def sub-neg