Details

rewrite875.0ms (0.8%)

Algorithm

27×	rewrite-expression-head

Calls

84 calls:

82.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
63.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
60.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
53.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
51.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

537×	add-sqr-sqrt
381×	*-un-lft-identity
347×	add-cube-cbrt
293×	add-exp-log
260×	unpow-prod-down
208×	sqrt-prod
197×	pow1
192×	prod-diff
157×	add-cbrt-cube
143×	associate-*r*
129×	prod-exp
118×	unpow-prod-up
96×	associate-*r/
85×	log1p-expm1-u add-log-exp
84×	expm1-log1p-u
83×	associate-*l*
78×	times-frac
73×	distribute-rgt-in distribute-lft-in
70×	unswap-sqr
64×	swap-sqr
52×	pow-prod-down cbrt-prod
46×	pow-exp
45×	flip-- flip3-- sqr-pow
41×	cbrt-unprod
40×	associate--l+
39×	log-prod
38×	sqrt-pow1
36×	sub-neg
33×	exp-prod
32×	frac-sub
31×	pow-to-exp log-pow
24×	sqrt-div
20×	pow1/2
18×	div-exp
17×	cube-prod difference-of-squares distribute-lft-out--
16×	pow-unpow
13×	*-commutative
12×	rem-sqrt-square
10×	pow-sub
8×	pow-pow rem-log-exp associate-/r*
7×	div-inv
6×	associate-/l* pow1/3
5×	cube-mult unpow3
3×	cbrt-undiv expm1-udef exp-sum
2×	associate-/l/ rem-exp-log associate-*l/ sqrt-pow2 rem-cube-cbrt acos-asin fma-udef associate-/r/ rem-cbrt-cube pow-prod-up clear-num frac-2neg sin-diff frac-times pow2 pow-sqr sinh-def
1×	expm1-log1p div-sub