Details

rewrite2.0s

Algorithm

17×	rewrite-expression-head

Calls

54 calls:

Slowest

169.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
161.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
159.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
146.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
135.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

259×	add-sqr-sqrt
228×	pow1
212×	add-exp-log
190×	*-un-lft-identity
182×	add-cbrt-cube
148×	add-cube-cbrt
104×	associate-*l*
97×	associate-*r*
95×	prod-exp
85×	pow-prod-down
74×	sqrt-prod
73×	cbrt-unprod
66×	add-log-exp
65×	times-frac
54×	insert-posit16
36×	associate-*r/
35×	unswap-sqr
33×	sqrt-div
32×	associate-*l/
31×	sqrt-pow1
24×	pow1/2
23×	flip3-- unpow-prod-down flip--
22×	*-commutative
17×	pow-prod-up distribute-lft-out-- difference-of-squares
14×	distribute-rgt-in sub-neg distribute-lft-in
13×	pow-plus
11×	frac-times log-pow flip-+ flip3-+
10×	div-exp cosh-def
9×	exp-prod
8×	cbrt-undiv frac-sub swap-sqr
7×	sum-log pow-sqr
6×	log-prod pow-exp sqr-pow sqrt-unprod
5×	pow2 associate-/r* rem-sqrt-square div-inv associate-/l*
4×	distribute-lft-out pow-to-exp associate--l+
3×	1-exp acos-asin +-commutative
2×	rem-log-exp sinh-def unpow2 associate-/l/ associate-+r+ associate-/r/ pow3
1×	div-sub frac-2neg rem-square-sqrt clear-num