Details

rewrite723.0ms (0.5%)

Algorithm

13×	rewrite-expression-head

Calls

36 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

119×	add-sqr-sqrt
95×	*-un-lft-identity
81×	pow1
78×	add-exp-log
72×	add-cbrt-cube
71×	add-cube-cbrt
40×	add-log-exp
28×	associate-*r*
25×	times-frac prod-exp
21×	pow-prod-down cbrt-unprod
20×	associate-*l*
18×	sqrt-prod
12×	difference-of-squares distribute-lft-out-- unswap-sqr
8×	pow1/2 unpow-prod-down swap-sqr sqrt-pow1 log-pow
7×	*-commutative
6×	exp-prod log-prod
5×	associate-/l* pow-prod-up associate-/r*
4×	sqr-pow
3×	cbrt-prod pow-sqr
2×	flip-- associate-/l/ +-commutative flip3-+ flip3-- sum-log acos-asin flip-+ associate-/r/ pow-exp pow-to-exp rem-log-exp sinh-def
1×	cbrt-undiv pow1/3 rem-square-sqrt pow-plus sqrt-unprod clear-num frac-2neg div-inv div-exp div-sub pow2