Details

rewrite1.6s (1.5%)

Algorithm

29×	rewrite-expression-head

Calls

92 calls:

180.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
177.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
176.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
129.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
128.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

377×	add-sqr-sqrt
333×	*-un-lft-identity
299×	add-cube-cbrt
217×	pow1
170×	add-exp-log
148×	cbrt-prod
128×	add-cbrt-cube
96×	prod-diff
93×	log1p-expm1-u times-frac
92×	unpow-prod-down add-log-exp expm1-log1p-u
83×	sqrt-prod
72×	associate-*r/
69×	unpow-prod-up log-prod
66×	associate-*r*
52×	pow-prod-down
44×	pow-unpow
42×	sqrt-pow1
38×	flip-- flip3--
35×	prod-exp
32×	pow1/3
31×	distribute-rgt-in distribute-lft-in
30×	sqrt-div
28×	frac-sub
23×	cbrt-unprod pow1/2
22×	associate-*l*
20×	associate--l+
19×	pow-pow log-pow
17×	difference-of-squares distribute-lft-out-- pow-exp
16×	sub-neg unswap-sqr
14×	sqr-pow
12×	swap-sqr rem-sqrt-square pow-to-exp
11×	rem-log-exp
10×	exp-prod
9×	div-inv
8×	*-commutative cube-prod associate-/r*
6×	associate-/l* div-exp pow-sub
5×	cbrt-div
4×	pow-sqr sqrt-pow2 fma-udef pow-prod-up
3×	cbrt-undiv exp-sum
2×	associate-/l/ cube-mult pow-plus expm1-udef unpow3 acos-asin log-div associate-/r/ clear-num frac-2neg e-exp-1 pow2 sinh-def
1×	expm1-log1p rem-exp-log div-sub rem-cube-cbrt sin-diff