Details

rewrite2.4s (2.2%)

Algorithm

31×	rewrite-expression-head

Calls

93 calls:

766.0ms	(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
179.0ms	(* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) 2.0)) (pow (/ (cbrt l) (cbrt Om)) 2.0)) (- U U*))
160.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) 2.0)) (pow (/ (cbrt l) (cbrt Om)) 2.0)) (- U U*))))
124.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
122.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1052×	associate-*r/
900×	cbrt-div
785×	flip-- flip3--
624×	frac-sub
544×	frac-times
526×	add-sqr-sqrt
396×	add-exp-log
370×	sqrt-div
309×	*-un-lft-identity
292×	sqrt-prod
273×	pow1
272×	unpow-prod-down
271×	add-cube-cbrt
191×	prod-exp
165×	add-cbrt-cube
163×	associate-*r*
105×	add-log-exp
98×	unswap-sqr
94×	associate-*l/
84×	associate-*l*
81×	cbrt-prod
76×	swap-sqr
75×	pow-prod-down
73×	sqrt-pow1
72×	pow-exp
51×	times-frac sqr-pow
49×	pow1/2
48×	unpow-prod-up
42×	cbrt-unprod
41×	pow-to-exp sub-neg
34×	div-exp
30×	pow-pow
27×	pow-unpow
24×	distribute-rgt-in distribute-lft-in
20×	pow1/3 difference-of-squares
19×	*-commutative distribute-lft-out-- pow-prod-up
17×	log-prod
16×	log-pow sinh-def
14×	exp-prod
13×	pow-sqr
12×	associate--l+ pow-sub
11×	rem-sqrt-square
8×	cube-prod associate-/r*
6×	associate-/l* sqrt-pow2 sum-log pow2
5×	div-inv
4×	pow-plus exp-sum rem-log-exp
3×	cbrt-undiv rem-square-sqrt sqrt-unprod
2×	associate-/l/ unpow3 cube-mult +-commutative acos-asin associate-+r+ flip-+ asin-acos associate-/r/ clear-num frac-2neg flip3-+
1×	diff-log div-sub rem-exp-log pow3 associate--r-