Details

rewrite2.4s (0.8%)

Algorithm

31×	rewrite-expression-head

Calls

99 calls:

214.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
184.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
174.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
173.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
163.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

730×	add-sqr-sqrt
655×	*-un-lft-identity
533×	add-cube-cbrt
486×	times-frac
340×	associate-*r/
292×	pow-unpow
269×	add-exp-log
253×	pow1
209×	add-cbrt-cube
168×	prod-diff
163×	cbrt-prod
150×	flip3-- flip--
148×	frac-sub
121×	frac-times
112×	associate-*r*
105×	distribute-lft-in distribute-rgt-in
100×	expm1-log1p-u log1p-expm1-u
99×	add-log-exp insert-posit16
97×	prod-exp
84×	sqrt-div
82×	associate-*l/
81×	pow-prod-down unpow-prod-down
66×	cbrt-unprod
61×	distribute-lft-out-- difference-of-squares
56×	associate-*l*
50×	associate--l+
43×	unswap-sqr
35×	pow1/3
32×	sub-neg
30×	sqr-pow
29×	sqrt-prod
28×	sqrt-pow1
27×	div-sub
26×	swap-sqr pow-exp
23×	pow-to-exp
22×	unpow-prod-up div-inv
19×	*-commutative
18×	log-prod
16×	sinh-def pow-sub
14×	log-pow cbrt-div
13×	pow1/2
12×	div-exp pow-pow
9×	cbrt-undiv
8×	associate-/r*
6×	pow-prod-up pow-sqr associate-/l* exp-prod
4×	rem-log-exp pow2 rem-sqrt-square fma-udef
3×	acos-asin
2×	expm1-udef unpow2 associate-/l/ frac-2neg associate-/r/ pow-plus clear-num sqrt-pow2
1×	expm1-log1p pow3 log1p-expm1 log1p-udef sin-diff