Details

rewrite1.8s

Algorithm

19×	rewrite-expression-head

Calls

62 calls:

Slowest

193.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
181.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
180.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (/ l (/ Om n)) (- U U*)))) 2)))
158.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))
111.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

288×	add-sqr-sqrt
250×	pow1
227×	*-un-lft-identity
219×	add-exp-log
196×	add-cbrt-cube
195×	add-cube-cbrt
148×	times-frac
134×	associate-*l*
88×	prod-exp
80×	associate-*r*
74×	add-log-exp
72×	pow-prod-down cbrt-unprod
62×	insert-posit16
60×	sinh-def
43×	associate-*r/
38×	associate-*l/
28×	unswap-sqr frac-times
26×	pow-prod-up pow-plus
23×	unpow-prod-down
21×	flip3-- flip-- *-commutative
20×	log-pow
17×	difference-of-squares cbrt-prod
16×	distribute-lft-out--
15×	log-prod exp-prod
14×	div-exp cbrt-div sqrt-prod
13×	cbrt-undiv
12×	sqrt-div
11×	sqrt-pow1 sub-neg div-inv
10×	distribute-lft-in pow2 distribute-rgt-in pow-sqr
8×	frac-sub associate-/r*
7×	pow1/3
6×	associate-/l* sum-log pow3 sqr-pow swap-sqr
5×	rem-log-exp
4×	pow1/2 flip3-+ pow-exp associate--l+ flip-+
3×	pow-to-exp 1-exp associate-/r/ acos-asin
2×	unpow2 associate-/l/ frac-2neg rem-sqrt-square clear-num rem-cbrt-cube +-commutative associate-+r+
1×	div-sub asin-acos associate--r- diff-log