Details

rewrite2.9s (0.9%)

Algorithm

25×	rewrite-expression-head

Calls

74 calls:

838.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* (* (cbrt (* n (pow (/ l Om) (/ 2.0 2)))) (cbrt (* n (pow (/ l Om) (/ 2.0 2))))) (cbrt (* n (pow (/ l Om) (/ 2.0 2))))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
273.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*))))
254.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
234.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
231.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*)))))

Rules

274×	add-sqr-sqrt
240×	*-un-lft-identity
237×	add-exp-log
210×	add-cube-cbrt
171×	pow1
131×	add-cbrt-cube
107×	cbrt-prod
104×	prod-exp
90×	prod-diff
78×	associate-*r/
75×	log1p-expm1-u expm1-log1p-u
74×	add-log-exp
70×	associate-*r*
63×	distribute-rgt-in distribute-lft-in
49×	pow-prod-down
48×	times-frac
40×	flip-- flip3--
36×	sqrt-pow1
35×	cbrt-unprod
31×	pow1/3
30×	unpow-prod-down associate--l+
28×	frac-sub
26×	pow-exp
25×	sqrt-prod
24×	log-pow sqrt-div associate-*l* log-prod
18×	sub-neg
16×	sinh-def div-exp unswap-sqr
15×	difference-of-squares distribute-lft-out--
14×	cbrt-div
13×	pow-to-exp
12×	swap-sqr exp-prod
10×	*-commutative pow1/2
8×	associate-/r*
6×	associate-/l*
4×	sqr-pow pow-prod-up div-inv rem-log-exp pow-sqr
3×	cbrt-undiv
2×	associate-/l/ expm1-udef associate-*l/ 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