Details

rewrite1.2s

Algorithm

17×	rewrite-expression-head

Calls

54 calls:

Slowest

171.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (cbrt (* (* (/ l Om) n) (- U U*))) (cbrt (* (* (/ l Om) n) (- U U*)))) (cbrt (* (* (/ l Om) n) (- U U*)))))) 2)))
169.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
133.0ms	(* (* (* (* 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*)))))
120.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))

Rules

195×	add-sqr-sqrt
175×	pow1
164×	add-exp-log
155×	*-un-lft-identity
136×	add-cbrt-cube
127×	add-cube-cbrt
68×	prod-exp
58×	pow-prod-down
54×	add-log-exp insert-posit16
49×	associate-*r*
48×	times-frac
47×	cbrt-unprod sqrt-prod
40×	associate-*l*
35×	associate-*r/
27×	sqrt-pow1
26×	log-pow associate-*l/
25×	unpow-prod-down
24×	flip3-- flip--
22×	exp-prod
21×	log-prod
20×	pow1/2 sqrt-div
16×	swap-sqr
15×	cbrt-div unswap-sqr
14×	sinh-def distribute-lft-out-- difference-of-squares
12×	frac-times
10×	pow-prod-up *-commutative
8×	div-exp frac-sub sub-neg distribute-rgt-in associate-/r* distribute-lft-in
7×	cbrt-undiv
6×	rem-log-exp 1-exp pow-unpow associate-/l* pow-sqr
5×	acos-asin
4×	pow-exp sqr-pow associate--l+ div-inv
3×	pow1/3 exp-sum pow-to-exp cbrt-prod
2×	associate-/r/ associate-/l/ rem-square-sqrt frac-2neg flip3-+ pow2 unpow2 rem-sqrt-square pow-plus sqrt-unprod clear-num flip-+ cosh-def pow-pow
1×	exp-diff div-sub rem-exp-log log-div