Details

rewrite1.5s (0.5%)

Algorithm

27×	rewrite-expression-head

Calls

96 calls:

160.0ms	(sqrt (* (* (cbrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n))))))))) (cbrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))) (cbrt (* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))))
145.0ms	(+ (* 1/120 (pow c 5)) (+ (* 1/6 (* (* c c) c)) c))
135.0ms	(* (- U* U) (* (* (/ (cbrt l) (cbrt Om)) (/ (cbrt l) (cbrt Om))) (/ (cbrt l) (/ (cbrt Om) n))))
104.0ms	(+ (* 1/120 (pow c 5)) (+ (* 1/6 (* (* c c) c)) c))
56.0ms	(* (* U n) (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (* (* (/ (cbrt l) (cbrt Om)) (/ (cbrt l) (cbrt Om))) (/ (cbrt l) (/ (cbrt Om) n)))))))))

Rules

570×	add-sqr-sqrt
565×	times-frac
515×	*-un-lft-identity
471×	add-cube-cbrt
360×	pow1
298×	add-exp-log
235×	add-cbrt-cube
178×	cbrt-prod
171×	associate-*r/
163×	associate-*r*
111×	sqrt-pow1
106×	add-log-exp
96×	pow-prod-down
95×	prod-exp
89×	cbrt-unprod
64×	log-pow
63×	frac-times
60×	cbrt-div
59×	unpow-prod-down pow-pow
52×	flip3-- flip--
51×	exp-prod
49×	pow1/2
48×	pow-unpow
47×	sqrt-prod
45×	pow-prod-up
43×	div-exp cbrt-undiv
42×	associate-*l*
40×	associate-/r*
39×	pow1/3
37×	associate-*l/
34×	sqrt-div
26×	log-prod div-inv
23×	pow-plus pow-sqr
22×	distribute-lft-out-- difference-of-squares
21×	unswap-sqr
17×	unpow-prod-up
16×	sub-neg distribute-rgt-in distribute-lft-in
15×	sqr-pow
14×	pow-exp associate-/l*
13×	*-commutative
11×	pow2 pow-to-exp
8×	rem-sqrt-square
7×	associate-/r/
6×	rem-log-exp sum-log sin-sum sqrt-pow2 swap-sqr pow-sub
3×	frac-2neg pow3 clear-num
2×	sinh-def associate-/l/ flip3-+ associate-+r+ acos-asin sqrt-unprod +-commutative flip-+
1×	div-sub rem-exp-log exp-sum e-exp-1 cosh-def