Details

rewrite2.7s (2.5%)

Algorithm

31×	rewrite-expression-head

Calls

93 calls:

756.0ms	(sqrt (* (* (cbrt (* (* (* 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*))))) (cbrt (* (* (* 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*)))))) (cbrt (* (* (* 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*)))))))
173.0ms	(* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) 2.0)) (pow (/ (cbrt l) (cbrt Om)) 2.0)) (- U U*))
162.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*))))
129.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
126.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

1616×	associate-*r/
900×	cbrt-div
785×	flip-- flip3--
694×	add-sqr-sqrt
624×	frac-sub
544×	frac-times
497×	*-un-lft-identity
451×	add-cube-cbrt
380×	add-exp-log
370×	sqrt-div
360×	sqrt-prod
312×	unpow-prod-down
271×	pow1
255×	prod-diff
184×	unpow-prod-up
179×	prod-exp
157×	add-cbrt-cube
143×	associate-*r*
95×	add-log-exp
94×	log1p-expm1-u associate-*l/ swap-sqr
93×	expm1-log1p-u
92×	sqrt-pow1
90×	associate-*l*
87×	times-frac
84×	unswap-sqr
76×	pow-exp
75×	cbrt-prod
74×	distribute-rgt-in distribute-lft-in
58×	pow-prod-down
57×	pow-unpow pow1/2
47×	sqr-pow
41×	pow-to-exp
40×	pow-pow
38×	cbrt-unprod
37×	sub-neg
34×	div-exp
30×	associate--l+
29×	pow1/3
28×	pow-prod-up
24×	difference-of-squares
23×	distribute-lft-out--
17×	log-prod
16×	pow-sqr log-pow sinh-def
15×	*-commutative rem-sqrt-square
14×	exp-prod
13×	fma-neg
12×	pow-sub
10×	pow-plus
9×	div-inv
8×	sqrt-pow2 pow2 associate-/r*
6×	associate-/l*
4×	exp-sum rem-log-exp
3×	cbrt-undiv rem-square-sqrt sqrt-unprod
2×	associate-/l/ acos-asin asin-acos associate-/r/ pow3 clear-num frac-2neg expm1-udef
1×	expm1-log1p div-sub rem-exp-log associate--r- diff-log sin-diff