Details

rewrite1.5s (0.9%)

Algorithm

19×	rewrite-expression-head

Calls

57 calls:

Slowest

220.0ms	(+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
213.0ms	(+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
85.0ms	(* (* (/ n (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))) (- U U*))
73.0ms	(* 1/6 (* c (* c c)))
61.0ms	(sqrt (* (* (* U n) 2) (- t (* (/ l Om) (- (* 2 l) (- (* (* n (/ l Om)) (- U U*))))))))

Rules

249×	pow1
215×	add-exp-log
195×	add-sqr-sqrt
186×	add-cbrt-cube
166×	*-un-lft-identity
134×	add-cube-cbrt
98×	pow-prod-down
84×	prod-exp
80×	cbrt-unprod
70×	associate-*r*
67×	add-log-exp
63×	times-frac
57×	insert-posit16
51×	log-prod
43×	associate-*l*
38×	sqrt-pow1
36×	associate-*r/
29×	log-pow
21×	exp-prod
20×	flip3-- flip--
19×	sqrt-prod
17×	div-exp cbrt-undiv
16×	unswap-sqr
15×	*-commutative
14×	difference-of-squares sub-neg distribute-lft-in distribute-lft-out-- sqrt-div distribute-rgt-in cbrt-prod
12×	frac-times
11×	unpow-prod-down
10×	pow1/2 pow-prod-up
9×	rem-log-exp exp-sum
8×	sinh-def associate-*l/
6×	sum-log
5×	associate-/l* sqr-pow associate-/r*
4×	pow-exp div-inv pow-unpow log-div
3×	pow-to-exp unpow-prod-up rem-exp-log
2×	distribute-lft-out exp-diff associate-/l/ cube-unmult pow2 associate-/r/ pow-plus associate-+l+ acos-asin +-commutative flip-+ flip3-+ pow-sqr
1×	div-sub pow1/3 frac-2neg clear-num e-exp-1 pow-pow