Details

rewrite1.5s

Algorithm

17×	rewrite-expression-head

Calls

54 calls:

Slowest

194.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
178.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
139.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
133.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
121.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))

Rules

258×	add-sqr-sqrt
222×	*-un-lft-identity
207×	add-exp-log
199×	pow1
177×	add-cbrt-cube
176×	add-cube-cbrt
147×	times-frac
79×	prod-exp
72×	associate-*l*
65×	add-log-exp
63×	pow-prod-down
60×	cbrt-unprod
54×	insert-posit16
50×	associate-*r*
41×	log-prod
35×	exp-prod
32×	associate-*r/
30×	log-pow
23×	distribute-lft-out-- difference-of-squares associate-/r*
22×	cbrt-prod
21×	div-exp
20×	cbrt-undiv flip3-- flip--
19×	sqrt-pow1
18×	unswap-sqr div-inv
17×	exp-sum associate-/l*
15×	sqrt-prod *-commutative
14×	pow-prod-up
13×	pow-plus associate-*l/
12×	sqrt-div
11×	cosh-def
10×	sub-neg distribute-rgt-in distribute-lft-in
8×	frac-sub pow1/3 unpow-prod-down
6×	rem-log-exp sum-log cbrt-div swap-sqr pow-sqr
5×	pow1/2 frac-times frac-2neg pow2 clear-num log-div
4×	rem-exp-log associate-/l/ flip3-+ associate-/r/ pow-exp sqr-pow associate--l+ flip-+
3×	1-exp acos-asin pow-to-exp
2×	sinh-def exp-diff div-sub associate-+r+ pow3 +-commutative
1×	rem-sqrt-square