Details

rewrite2.8s (1.0%)

Algorithm

29×	rewrite-expression-head

Calls

93 calls:

544.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*)))))
217.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*))))
204.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*))))
181.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
166.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

397×	add-exp-log
334×	pow1
305×	add-sqr-sqrt
253×	*-un-lft-identity
224×	add-cbrt-cube
209×	add-cube-cbrt
198×	prod-exp
124×	associate-*r/
103×	add-log-exp
96×	pow-prod-down
88×	sqrt-prod
86×	associate-*r*
84×	cbrt-unprod unpow-prod-down
60×	sinh-def
56×	flip3-- flip--
54×	associate-*l*
51×	cbrt-prod
50×	pow-exp
48×	sqrt-pow1 times-frac
44×	sub-neg
40×	frac-sub
39×	distribute-rgt-in distribute-lft-in
32×	pow-unpow
29×	pow-to-exp
28×	pow1/2 pow-pow
25×	pow-prod-up
24×	unswap-sqr div-exp pow1/3 sqrt-div
22×	difference-of-squares frac-times distribute-lft-out-- associate-*l/
21×	pow-plus *-commutative
20×	unpow-prod-up associate--l+
14×	cbrt-div rem-sqrt-square
12×	associate--r+ log-pow sqr-pow swap-sqr
11×	pow-sqr
9×	log-prod exp-prod pow2
8×	associate-/r*
6×	pow-sub sqrt-pow2 diff-log associate-/l*
5×	pow3
4×	acos-asin div-inv
3×	rem-log-exp cbrt-undiv
2×	associate--l- associate-/l/ frac-2neg associate-/r/ clear-num rem-cbrt-cube
1×	exp-diff div-sub flip3-+ log-div cosh-def flip-+