Details

rewrite1.4s (1.3%)

Algorithm

27×	rewrite-expression-head

Calls

82 calls:

251.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* (cbrt (* n (pow (/ l Om) 2.0))) (cbrt (* n (pow (/ l Om) 2.0)))) (cbrt (* n (pow (/ l Om) 2.0)))) (- U U*)))))
135.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
131.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
129.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
112.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

273×	add-sqr-sqrt
239×	*-un-lft-identity
209×	add-cube-cbrt
182×	add-exp-log
178×	pow1
135×	add-cbrt-cube
90×	prod-diff
84×	expm1-log1p-u
83×	log1p-expm1-u
82×	add-log-exp
78×	associate-*r/
74×	cbrt-prod
70×	associate-*r*
63×	distribute-rgt-in distribute-lft-in
56×	prod-exp
49×	pow-prod-down
48×	times-frac
40×	flip-- flip3--
32×	cbrt-unprod
30×	unpow-prod-down associate--l+
28×	pow1/3 frac-sub
27×	log-prod
24×	sqrt-div associate-*l*
18×	sinh-def sub-neg sqrt-pow1
16×	unswap-sqr
15×	log-pow difference-of-squares distribute-lft-out--
14×	cbrt-div
12×	swap-sqr
10×	*-commutative sqrt-prod exp-prod pow-exp
8×	div-exp associate-/r*
6×	associate-/l* rem-log-exp pow1/2
5×	pow-to-exp
4×	expm1-udef fma-udef pow-prod-up div-inv sqr-pow pow-sqr
3×	expm1-log1p cbrt-undiv exp-sum
2×	associate-/l/ associate-*l/ pow-plus acos-asin rem-sqrt-square log1p-udef frac-times associate-/r/ pow2 clear-num frac-2neg log1p-expm1
1×	rem-exp-log div-sub sin-diff