Details

rewrite1.6s

Algorithm

18×	rewrite-expression-head

Calls

52 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) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
157.0ms	(sqrt (+ (* t (* (* (* 2 n) U) 1)) (* (* (* (* (/ l Om) n) U) (- (* l -2) (* (* (/ l Om) n) (- U U*)))) 2)))
129.0ms	(* (* (* (* 2 n) U) 1) (- t (* (/ l Om) (- (* l 2) (- (* (- U U*) (* (/ l Om) n)))))))
127.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

Rules

212×	add-sqr-sqrt
211×	pow1
197×	add-exp-log
173×	add-cbrt-cube
165×	*-un-lft-identity
133×	add-cube-cbrt
84×	prod-exp
73×	associate-*r*
70×	pow-prod-down
68×	cbrt-unprod
64×	associate-*l*
62×	add-log-exp
58×	times-frac
52×	insert-posit16
41×	sqrt-prod
31×	associate-*r/
28×	sqrt-pow1
23×	unpow-prod-down log-pow
22×	flip3-- flip--
21×	unswap-sqr log-prod associate-*l/
19×	exp-prod
17×	pow-prod-up *-commutative
16×	distribute-lft-out-- difference-of-squares
15×	pow1/2
14×	sqrt-div
13×	pow-plus
12×	sub-neg distribute-lft-in distribute-rgt-in
11×	div-exp
10×	cbrt-undiv
8×	frac-times frac-sub associate-/r* swap-sqr
7×	pow-sqr
6×	sum-log sqr-pow associate-/l*
5×	rem-log-exp flip3-+ pow2 flip-+ div-inv
4×	pow-exp rem-sqrt-square associate--l+
3×	exp-sum 1-exp acos-asin pow-to-exp
2×	sinh-def unpow2 associate-/l/ associate-+r+ frac-2neg associate-/r/ pow3 clear-num +-commutative
1×	div-sub rem-exp-log rem-square-sqrt sqrt-unprod