Details

rewrite1.4s

Algorithm

17×	rewrite-expression-head

Calls

53 calls:

Slowest

164.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
163.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (* (/ l Om) (* (cbrt n) (cbrt n))) (cbrt n)) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
160.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
132.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
114.0ms	(sqrt (* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n))))))))

Rules

234×	add-sqr-sqrt
203×	add-exp-log
199×	pow1
185×	*-un-lft-identity
172×	add-cbrt-cube
153×	add-cube-cbrt
95×	associate-*l*
89×	times-frac
83×	prod-exp
67×	cbrt-unprod
66×	pow-prod-down associate-*r*
65×	add-log-exp
53×	insert-posit16
36×	unpow-prod-down
29×	associate-*r/
27×	log-pow
24×	log-prod
23×	unswap-sqr
22×	exp-prod
21×	flip3-- flip--
18×	associate-*l/
17×	difference-of-squares *-commutative
16×	distribute-lft-out--
14×	sqrt-prod
13×	div-exp
12×	pow-prod-up cbrt-undiv sqrt-div pow-plus
11×	sqrt-pow1 sub-neg
10×	distribute-lft-in distribute-rgt-in pow-unpow
9×	sqr-pow
8×	frac-sub pow-exp associate-/r* div-inv
6×	rem-log-exp sum-log frac-times pow-to-exp associate-/l*
4×	pow1/2 flip3-+ pow2 associate--l+ flip-+ pow-sqr
3×	unpow-prod-up exp-sum 1-exp acos-asin pow-pow
2×	sinh-def unpow2 associate-/l/ associate-+r+ frac-2neg associate-/r/ pow3 rem-sqrt-square clear-num +-commutative
1×	div-sub asin-acos associate--r- rem-exp-log e-exp-1 diff-log