Details

rewrite1.7s

Algorithm

19×	rewrite-expression-head

Calls

62 calls:

Slowest

177.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
168.0ms	(pow (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)) 1/2)
164.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
129.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))
124.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))

Rules

261×	pow1
232×	add-exp-log
211×	add-sqr-sqrt
203×	add-cbrt-cube
177×	*-un-lft-identity
145×	add-cube-cbrt
98×	prod-exp
79×	cbrt-unprod
77×	pow-prod-down associate-*l*
72×	add-log-exp
67×	associate-*r*
62×	insert-posit16
60×	sinh-def
58×	times-frac
45×	associate-*r/
42×	associate-*l/
28×	frac-times
26×	pow-prod-up pow-plus
24×	log-prod log-pow
21×	flip3-- flip-- *-commutative
19×	exp-prod
18×	unswap-sqr
17×	sqrt-pow1
16×	distribute-lft-out-- difference-of-squares
14×	cbrt-div sqrt-prod
12×	div-exp sub-neg distribute-rgt-in distribute-lft-in
11×	cbrt-undiv unpow-prod-down
10×	pow2 sqrt-div pow-sqr
8×	frac-sub associate-/r*
6×	rem-log-exp associate-/l* sum-log pow3 swap-sqr
5×	pow-exp sqr-pow div-inv
4×	pow-to-exp pow1/2 associate--l+
3×	exp-sum 1-exp flip3-+ acos-asin flip-+ pow-unpow
2×	pow1/3 associate-/l/ frac-2neg associate-/r/ clear-num rem-cbrt-cube +-commutative cbrt-prod cosh-def associate-+r+
1×	div-sub rem-exp-log unpow1/2 rem-sqrt-square pow-pow