rewrite390.0ms (0.4%)

Algorithm

27×	rewrite-expression-head

Calls

86 calls:

18.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* (/ l (* (cbrt Om) (cbrt Om))) (/ l (cbrt Om))))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
16.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
14.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
13.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
13.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

393×	add-sqr-sqrt
347×	*-un-lft-identity
303×	add-cube-cbrt
210×	pow1
162×	add-exp-log
143×	unpow-prod-down
133×	cbrt-prod
131×	add-cbrt-cube
120×	prod-diff
99×	add-log-exp
88×	times-frac
87×	log1p-expm1-u
86×	expm1-log1p-u
79×	pow-unpow
71×	exp-prod
70×	sqrt-prod
68×	associate-*r/
66×	associate-*r*
52×	distribute-rgt-in cube-prod distribute-lft-in
45×	flip-- flip3--
44×	associate--r+ pow-prod-down unpow-prod-up
40×	associate--l+ sqrt-pow1
32×	frac-sub prod-exp
25×	sqr-pow pow-pow log-pow
24×	pow1/2 sub-neg
23×	cbrt-unprod
22×	difference-of-squares distribute-lft-out--
19×	pow-exp
18×	sqrt-div associate-*l* log-prod
16×	pow-to-exp unswap-sqr
14×	rem-sqrt-square
13×	pow1/3
11×	unpow3 cube-mult
8×	associate-/r*
7×	*-commutative div-inv
6×	associate-/l* swap-sqr cbrt-div div-exp fma-neg diff-log pow-sub
5×	rem-cube-cbrt rem-log-exp
4×	sqrt-pow2
3×	cbrt-undiv expm1-udef div-sub rem-exp-log exp-sum
2×	associate-/l/ pow-sqr acos-asin associate--l- associate-/r/ rem-cbrt-cube pow-prod-up clear-num frac-2neg sin-diff
1×	expm1-log1p pow-plus exp-to-pow pow2