Details

rewrite843.0ms (0.7%)

Algorithm

27×	rewrite-expression-head

Calls

88 calls:

87.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 (/ 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*)))))
51.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
48.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

379×	add-sqr-sqrt
303×	add-exp-log
279×	*-un-lft-identity
245×	add-cube-cbrt
236×	pow1
183×	add-cbrt-cube
167×	associate-*r*
133×	prod-exp
100×	unpow-prod-down add-log-exp
98×	associate-*r/
82×	sqrt-prod
78×	times-frac
67×	associate-*l*
64×	pow-prod-down
54×	log-prod cbrt-prod
53×	cbrt-unprod
47×	flip-- flip3--
44×	unswap-sqr sqrt-pow1
38×	distribute-rgt-in distribute-lft-in
36×	pow-exp log-pow
32×	frac-sub pow1/2
30×	exp-prod
26×	sub-neg
24×	sqrt-div
21×	*-commutative sqr-pow pow-to-exp
18×	div-exp
17×	cube-prod difference-of-squares distribute-lft-out--
16×	swap-sqr associate--l+
10×	pow-prod-up
9×	pow1/3
8×	pow-pow rem-sqrt-square rem-log-exp associate-/r*
7×	div-inv
6×	pow-unpow sum-log associate-/l* pow-sqr
5×	unpow3 cube-mult
4×	acos-asin
3×	cbrt-undiv
2×	associate-/l/ sinh-def associate-+r+ rem-square-sqrt +-commutative flip3-+ pow-plus rem-cube-cbrt flip-+ rem-exp-log sqrt-unprod associate-/r/ clear-num frac-2neg pow2
1×	exp-diff rem-cbrt-cube div-sub log-div