Details

rewrite745.0ms (0.7%)

Algorithm

25×	rewrite-expression-head

Calls

76 calls:

84.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
65.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*)))))
53.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
53.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

299×	add-sqr-sqrt
255×	*-un-lft-identity
252×	add-exp-log
225×	add-cube-cbrt
167×	pow1
143×	add-cbrt-cube
111×	prod-exp
102×	prod-diff
95×	associate-*r*
94×	associate-*r/
80×	add-log-exp
79×	expm1-log1p-u
78×	log1p-expm1-u times-frac
75×	unpow-prod-down
73×	distribute-rgt-in distribute-lft-in
50×	pow-prod-down
45×	flip-- flip3--
42×	cbrt-prod
40×	associate--l+
39×	cbrt-unprod
35×	associate-*l*
32×	frac-sub
30×	exp-prod pow-exp
26×	log-pow
24×	sqrt-div sqrt-pow1
22×	sub-neg
21×	log-prod
20×	unswap-sqr
19×	sqrt-prod
18×	div-exp
15×	difference-of-squares distribute-lft-out-- pow-to-exp
11×	*-commutative
10×	sqr-pow
9×	pow1/2
8×	pow1/3 associate-/r*
7×	div-inv
6×	associate-/l* expm1-udef rem-log-exp
5×	expm1-log1p acos-asin
4×	rem-exp-log rem-sqrt-square
3×	cbrt-undiv log1p-udef log1p-expm1
2×	associate-/l/ fma-udef associate-/r/ clear-num frac-2neg sinh-def
1×	exp-diff div-sub sin-diff log-div