Details

rewrite1.4s (0.8%)

Algorithm

17×	rewrite-expression-head

Calls

56 calls:

147.0ms	(+ (* (pow c 5) 1/120) (+ (* (* 1/6 (* c c)) c) c))
113.0ms	(+ (* (pow c 5) 1/120) (+ (* (* 1/6 (* c c)) c) c))
94.0ms	(* (- U* U) (* (* (cbrt l) (cbrt l)) (* (/ (cbrt l) Om) n)))
93.0ms	(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))
90.0ms	(* (- U* U) (* (/ (* (cbrt l) (cbrt l)) Om) (* n (cbrt l))))

Rules

287×	add-exp-log
246×	add-cbrt-cube
242×	add-sqr-sqrt
228×	pow1
221×	*-un-lft-identity
189×	add-cube-cbrt
184×	times-frac
136×	prod-exp
132×	cbrt-unprod
109×	pow-prod-down
72×	distribute-lft-in distribute-rgt-in
68×	associate-*r*
67×	associate-*l*
66×	add-log-exp
56×	insert-posit16
51×	associate-*r/
28×	sub-neg
26×	div-exp cbrt-undiv
24×	cbrt-prod
21×	associate-/r*
19×	flip3-- flip-- associate-*l/
18×	sqrt-pow1
17×	*-commutative
16×	distribute-lft-out-- difference-of-squares
15×	log-pow
13×	div-inv
12×	exp-prod
11×	unswap-sqr associate-/l*
9×	log-prod
8×	sqrt-div pow1/3 frac-times unpow-prod-down
7×	sqrt-prod
6×	sum-log
4×	pow1/2 associate-/r/ sqr-pow acos-asin
3×	rem-log-exp frac-2neg clear-num
2×	sinh-def associate-/l/ flip3-+ associate-+r+ pow-exp pow-to-exp +-commutative flip-+ cosh-def
1×	div-sub