Details

rewrite1.4s

Algorithm

17×	rewrite-expression-head

Calls

56 calls:

Slowest

201.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
177.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
136.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
126.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))
122.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

237×	add-exp-log
227×	pow1
199×	add-cbrt-cube
167×	add-sqr-sqrt
148×	*-un-lft-identity
116×	add-cube-cbrt
113×	prod-exp
85×	pow-prod-down cbrt-unprod
60×	add-log-exp
56×	insert-posit16
51×	associate-*r*
47×	associate-*l*
38×	times-frac
31×	associate-*r/
27×	log-prod
25×	log-pow
21×	flip3-- flip--
19×	exp-prod
18×	sqrt-pow1 associate-*l/
17×	*-commutative sqrt-prod
16×	distribute-lft-out-- difference-of-squares
12×	pow-prod-up sub-neg distribute-lft-in sqrt-div distribute-rgt-in pow-plus
11×	unpow-prod-down
10×	unswap-sqr div-exp
9×	cbrt-undiv
8×	frac-sub associate-/r*
6×	rem-log-exp frac-times 1-exp pow-exp associate-/l*
5×	pow1/2 sqr-pow cosh-def
4×	flip3-+ pow2 pow-to-exp associate--l+ flip-+ pow-unpow pow-sqr
3×	unpow-prod-up exp-sum acos-asin div-inv
2×	sum-log sinh-def associate-/l/ frac-2neg associate-/r/ pow3 rem-sqrt-square clear-num +-commutative
1×	div-sub rem-exp-log e-exp-1 pow-pow