Details

rewrite811.0ms (0.7%)

Algorithm

27×	rewrite-expression-head

Calls

73 calls:

82.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
64.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
61.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
50.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))

Rules

364×	add-sqr-sqrt
299×	*-un-lft-identity
265×	add-exp-log
263×	add-cube-cbrt
192×	pow1
143×	add-cbrt-cube
138×	prod-diff
119×	prod-exp
104×	associate-*r* cbrt-prod
96×	associate-*r/
84×	distribute-rgt-in distribute-lft-in
77×	add-log-exp
74×	log1p-expm1-u unpow-prod-down
73×	expm1-log1p-u
68×	times-frac
57×	pow-prod-down
49×	associate-*l*
48×	flip-- flip3--
44×	cbrt-unprod
40×	associate--l+
34×	pow-exp
32×	frac-sub
30×	unswap-sqr
28×	sqrt-prod
26×	sub-neg
24×	sqrt-div sqrt-pow1
21×	pow1/3 pow-unpow log-prod
18×	difference-of-squares distribute-lft-out-- div-exp
17×	pow-to-exp log-pow
14×	*-commutative
12×	swap-sqr sqr-pow pow1/2
10×	exp-prod
8×	cube-prod rem-sqrt-square associate-/r*
6×	associate-/l* div-inv fma-neg
5×	rem-log-exp
4×	pow-prod-up pow-sqr
3×	cbrt-undiv unpow-prod-up exp-sum
2×	diff-log associate-/l/ cube-mult expm1-udef pow-pow unpow3 pow-plus e-exp-1 acos-asin associate-/r/ clear-num frac-2neg pow2 sinh-def
1×	expm1-log1p div-sub rem-exp-log pow3 rem-cbrt-cube sin-diff