Details

rewrite915.0ms (0.4%)

Algorithm

21×	rewrite-expression-head

Calls

58 calls:

114.0ms	(* (* 1/6 (* c c)) c)
108.0ms	(* (* 1/6 (* c c)) c)
107.0ms	(+ (* (* 1/6 (* c c)) c) (* 1/120 (pow c 5)))
106.0ms	(+ (* (* 1/6 (* c c)) c) (* 1/120 (pow c 5)))
49.0ms	(/ (- x lo) (- hi lo))

Rules

218×	add-sqr-sqrt
184×	*-un-lft-identity
140×	add-cube-cbrt
131×	pow1
108×	add-exp-log
94×	add-cbrt-cube
90×	sqrt-prod
62×	unpow-prod-down add-log-exp
50×	pow-unpow
40×	times-frac
36×	sqrt-pow1
28×	associate-*r* pow1/2 pow-pow
25×	prod-exp
22×	difference-of-squares distribute-lft-out--
21×	pow-prod-down cbrt-unprod
20×	associate-*l*
17×	cbrt-prod
16×	unpow-prod-up
12×	sqr-pow unswap-sqr
10×	rem-sqrt-square pow-exp pow-to-exp
8×	sub-neg swap-sqr log-pow
7×	*-commutative pow-sub
6×	sqrt-pow2 exp-prod log-prod
5×	associate-/l* pow1/3 pow-prod-up associate-/r*
3×	flip-- pow-sqr flip3--
2×	associate-/l/ cbrt-div distribute-rgt-in +-commutative flip3-+ sum-log div-sub acos-asin flip-+ distribute-lft-in associate-/r/ div-inv rem-log-exp sinh-def
1×	cbrt-undiv rem-square-sqrt pow-plus sqrt-unprod clear-num frac-2neg div-exp pow2