Details

rewrite2.8s (0.3%)

Algorithm

27×	rewrite-expression-head

Calls

88 calls:

315.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*))))
263.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*)))))
206.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
195.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
191.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

359×	add-sqr-sqrt
304×	*-un-lft-identity
283×	add-exp-log
240×	add-cube-cbrt
211×	pow1
158×	add-cbrt-cube
126×	unpow-prod-down
117×	prod-exp
115×	times-frac
96×	associate-*r/
90×	add-log-exp
89×	associate-*r*
82×	sqrt-prod
77×	pow-unpow
71×	log-prod
54×	log-pow
53×	pow-prod-down
47×	flip-- flip3--
42×	cbrt-unprod
40×	exp-prod
39×	associate-*l*
38×	pow-exp
35×	sqrt-pow1
34×	sub-neg
33×	difference-of-squares
32×	frac-sub
31×	distribute-lft-out--
25×	distribute-rgt-in sqrt-div distribute-lft-in cbrt-prod
23×	pow1/2 pow-to-exp
21×	pow-pow
20×	unswap-sqr
19×	sqr-pow
18×	div-exp
16×	unpow-prod-up associate--l+
12×	*-commutative rem-log-exp sin-sum
11×	pow-sub rem-sqrt-square
9×	pow1/3 div-inv
8×	log-div associate-/r*
7×	sqrt-pow2
6×	associate-/l* swap-sqr
5×	exp-sum
4×	exp-diff div-sub acos-asin
3×	cbrt-undiv asin-acos
2×	pow-prod-up pow-sqr associate-/r/ associate--r- associate-/l/ associate-+r- clear-num frac-2neg
1×	distribute-lft-out sin-diff pow-plus pow2 diff-log