Details

rewrite1.3s

Algorithm

15×	rewrite-expression-head

Calls

44 calls:

Slowest

184.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
183.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (* (/ l Om) n) (* (cbrt (- U U*)) (cbrt (- U U*)))) (cbrt (- U U*))))) 2)))
159.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
146.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
144.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

173×	add-exp-log
149×	add-sqr-sqrt
145×	add-cbrt-cube
142×	pow1
132×	*-un-lft-identity
102×	add-cube-cbrt
74×	prod-exp
59×	cbrt-unprod
58×	times-frac
56×	pow-prod-down
51×	associate-*l*
45×	add-log-exp
44×	insert-posit16
41×	associate-*r/
33×	associate-*r*
31×	flip3-- flip--
30×	associate-*l/
24×	cbrt-div
21×	log-prod
20×	frac-times
15×	difference-of-squares distribute-lft-out--
13×	div-exp
12×	sqrt-div cbrt-undiv log-pow
11×	sqrt-pow1 *-commutative
10×	sub-neg distribute-rgt-in distribute-lft-in
8×	exp-prod frac-sub associate-/r* sqrt-prod
6×	associate-/l* unswap-sqr
5×	rem-log-exp div-inv
4×	pow1/2 pow-unpow pow-exp associate--l+
3×	unpow-prod-up unpow-prod-down exp-sum 1-exp cosh-def
2×	associate-/l/ frac-2neg associate-/r/ rem-sqrt-square acos-asin clear-num pow-to-exp flip-+ flip3-+
1×	exp-to-pow div-sub rem-exp-log sqr-pow e-exp-1 pow-pow