Details

rewrite2.7s (1.0%)

Algorithm

25×	rewrite-expression-head

Calls

74 calls:

371.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*))))
274.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
234.0ms	(sqrt (* (* (* 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*)))))
222.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
204.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U U*) (pow (/ l Om) (/ 2.0 2))))))

Rules

315×	add-sqr-sqrt
265×	*-un-lft-identity
262×	add-exp-log
233×	add-cube-cbrt
180×	pow1
144×	add-cbrt-cube
118×	prod-exp
107×	associate-*r*
104×	cbrt-prod
102×	prod-diff
88×	associate-*r/
75×	log1p-expm1-u expm1-log1p-u
74×	add-log-exp
73×	distribute-rgt-in distribute-lft-in
68×	times-frac
60×	unpow-prod-down
55×	pow-prod-down
46×	flip-- flip3--
43×	cbrt-unprod
40×	associate--l+
36×	sqrt-pow1
33×	associate-*l*
32×	frac-sub
30×	pow-exp
28×	pow1/3
25×	sqrt-prod
24×	log-pow sqrt-div unswap-sqr log-prod
22×	sub-neg
18×	div-exp
16×	sinh-def difference-of-squares distribute-lft-out--
15×	pow-to-exp
14×	cbrt-div
13×	*-commutative
12×	associate-*l/ swap-sqr exp-prod
10×	pow1/2
8×	sqr-pow associate-/r*
6×	associate-/l* div-inv
4×	pow-prod-up rem-log-exp pow-sqr
3×	cbrt-undiv
2×	associate-/l/ expm1-udef pow-plus acos-asin rem-sqrt-square fma-udef frac-times associate-/r/ pow2 clear-num frac-2neg
1×	expm1-log1p div-sub log1p-udef log1p-expm1 sin-diff