Details

rewrite959.0ms (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

94 calls:

86.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0)))))
75.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0)))))
63.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))
53.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0))))
51.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* (* (pow (/ l Om) (/ 2.0 2)) n) (pow (/ l Om) (/ 2.0 2))) (- t (* (* (/ l Om) l) 2.0))))

Rules

410×	add-sqr-sqrt
362×	*-un-lft-identity
310×	add-cube-cbrt
235×	pow1
210×	unpow-prod-down
197×	add-exp-log
150×	sqrt-prod
149×	add-cbrt-cube
113×	unpow-prod-up
96×	pow-unpow
95×	log1p-expm1-u
94×	add-log-exp expm1-log1p-u
90×	prod-diff
73×	associate-*r*
65×	sqrt-pow1 times-frac
55×	pow-prod-down
52×	pow-pow
45×	prod-exp
39×	associate-*l*
34×	pow-exp cbrt-prod
33×	cbrt-unprod
32×	pow1/2
30×	log-prod
28×	log-pow sqr-pow
26×	distribute-lft-out-- difference-of-squares
24×	pow-to-exp
19×	exp-prod unswap-sqr
17×	fma-udef
11×	pow1/3 *-commutative
10×	sub-neg rem-sqrt-square sqrt-pow2 pow-sub
8×	distribute-lft-in distribute-rgt-in
6×	rem-log-exp
5×	div-exp associate-/l* associate-/r* div-inv
3×	exp-sum
2×	sinh-def associate-/l/ flip3-- flip-- associate-/r/ acos-asin e-exp-1
1×	expm1-udef div-sub expm1-log1p rem-exp-log cbrt-undiv frac-2neg clear-num