rewrite469.0ms (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

95 calls:

22.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
18.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
16.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
15.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
13.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

Rules

438×	add-sqr-sqrt
277×	*-un-lft-identity
271×	add-exp-log
247×	unpow-prod-down
233×	add-cube-cbrt
227×	pow1
215×	sqrt-prod
173×	add-cbrt-cube
134×	associate-*r*
116×	associate-*r/
107×	add-log-exp
104×	prod-exp
72×	unswap-sqr
63×	pow-prod-down
56×	associate-*l*
49×	times-frac
48×	flip-- flip3--
47×	sqr-pow
46×	swap-sqr
44×	cbrt-unprod
43×	sub-neg
39×	sqrt-pow1
38×	pow-exp
35×	unpow-prod-up
34×	distribute-rgt-in distribute-lft-in log-pow
32×	frac-sub
30×	pow-unpow sqrt-div pow-to-exp
28×	exp-prod
23×	difference-of-squares
22×	distribute-lft-out--
21×	cbrt-prod pow1/2 log-prod
16×	*-commutative associate--l+
14×	rem-sqrt-square
12×	pow-sub
11×	pow-pow
10×	div-exp
8×	cube-prod associate-/r*
7×	pow1/3
6×	sum-log associate-/l*
5×	rem-log-exp
4×	div-inv
3×	cbrt-undiv exp-sum
2×	associate-/l/ sinh-def associate-+r+ unpow3 cube-mult +-commutative associate-*l/ flip3-+ sqrt-pow2 acos-asin flip-+ asin-acos associate-/r/ pow-prod-up clear-num frac-2neg frac-times pow2 pow-sqr
1×	diff-log e-exp-1 rem-exp-log associate--r- div-sub