Details

rewrite2.3s (0.2%)

Algorithm

29×	rewrite-expression-head

Calls

90 calls:

173.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*))))
155.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*)))))
136.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
127.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*)))))
123.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

887×	add-sqr-sqrt
832×	sqrt-prod
584×	*-un-lft-identity
546×	add-cube-cbrt
429×	prod-diff
420×	unpow-prod-down
357×	unpow-prod-up
308×	add-exp-log
218×	pow1
207×	associate-*r*
202×	distribute-rgt-in distribute-lft-in
168×	add-cbrt-cube
164×	swap-sqr
157×	associate-*l*
138×	unswap-sqr
136×	prod-exp
105×	times-frac
98×	associate-*r/
93×	add-log-exp
91×	log1p-expm1-u
90×	expm1-log1p-u
74×	sqr-pow
67×	sub-neg
59×	pow-prod-down
50×	sqrt-pow1
49×	pow-exp
47×	flip-- flip3--
45×	cbrt-unprod
40×	associate--l+
34×	pow1/2
33×	pow-to-exp
32×	frac-sub
24×	sqrt-div log-prod
20×	difference-of-squares
19×	pow-unpow distribute-lft-out--
18×	pow-pow div-exp
17×	log-pow
16×	exp-prod
15×	*-commutative
13×	fma-neg
12×	rem-sqrt-square
10×	div-inv pow-sub
8×	pow-prod-up pow-sqr associate-/r*
6×	associate-/l* rem-log-exp
4×	sqrt-pow2 pow2
3×	cbrt-undiv exp-sum cbrt-prod
2×	associate-/l/ rem-exp-log rem-square-sqrt associate-*l/ pow-plus acos-asin asin-acos fma-udef sqrt-unprod associate-/r/ clear-num frac-2neg frac-times sinh-def
1×	expm1-log1p div-sub e-exp-1 pow1/3 associate--r- expm1-udef diff-log