Details

rewrite804.0ms (0.7%)

Algorithm

25×	rewrite-expression-head

Calls

73 calls:

87.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
66.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*))))
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*)))))
54.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
52.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

440×	add-sqr-sqrt
346×	*-un-lft-identity
310×	add-cube-cbrt
272×	add-exp-log
206×	pow1
159×	prod-diff
143×	add-cbrt-cube
131×	associate-*r*
121×	prod-exp
116×	cbrt-prod
115×	times-frac
96×	associate-*r/
95×	unpow-prod-down
75×	add-log-exp
74×	log1p-expm1-u
73×	distribute-rgt-in distribute-lft-in expm1-log1p-u
62×	pow-prod-down associate-*l*
47×	unswap-sqr
46×	flip-- flip3--
45×	cbrt-unprod
40×	associate--l+
38×	pow-exp
34×	sqrt-prod
33×	pow1/3
32×	frac-sub
28×	sqrt-pow1
25×	unpow-prod-up sub-neg
24×	sqrt-div
21×	log-prod
20×	pow-to-exp swap-sqr
19×	difference-of-squares
18×	distribute-lft-out-- div-exp sqr-pow
17×	pow-unpow
16×	*-commutative sinh-def pow-pow log-pow pow1/2
14×	cbrt-div
13×	exp-prod fma-neg
11×	pow-prod-up div-inv
9×	pow-sqr
8×	associate-/r*
6×	associate-/l*
5×	fma-udef rem-log-exp
4×	pow-plus pow2
3×	cbrt-undiv exp-sum
2×	associate-/l/ associate-*l/ sqrt-pow2 acos-asin rem-sqrt-square asin-acos unpow1/3 frac-times associate-/r/ clear-num frac-2neg expm1-udef pow-sub
1×	expm1-log1p rem-exp-log rem-square-sqrt div-sub e-exp-1 associate--r- sqrt-unprod pow3 diff-log sin-diff