Details

rewrite2.7s (1.1%)

Algorithm

29×	rewrite-expression-head

Calls

92 calls:

240.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
237.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
209.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))
205.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
186.0ms	(sin (* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (* (pow (sqrt (fabs (cbrt (atan2 b b)))) (- b a)) (pow (sqrt (sqrt (cbrt (atan2 b b)))) (- b a)))))

Rules

359×	add-sqr-sqrt
281×	*-un-lft-identity
241×	add-cube-cbrt
217×	pow1
184×	add-exp-log
138×	add-cbrt-cube
115×	cbrt-prod
106×	add-log-exp
105×	associate-*r*
95×	times-frac
82×	unpow-prod-down
76×	associate-*r/
65×	sqrt-prod
50×	sqrt-pow1
49×	pow-prod-down associate-*l*
46×	prod-exp
42×	flip-- flip3--
32×	unswap-sqr
30×	sqrt-div
28×	pow-unpow frac-sub
27×	pow1/2
26×	cbrt-unprod
23×	pow1/3 difference-of-squares
21×	log-prod
20×	sub-neg distribute-lft-out-- log-pow
18×	sqr-pow pow-exp pow-pow
14×	distribute-rgt-in unpow-prod-up distribute-lft-in
13×	*-commutative pow-to-exp
12×	swap-sqr rem-sqrt-square
9×	div-inv
8×	cube-prod associate--l+ associate-/r*
7×	exp-prod
6×	sum-log associate-/l* div-exp
5×	cbrt-div
4×	pow-sqr sqrt-pow2 pow-prod-up rem-log-exp pow-sub
3×	cbrt-undiv asin-acos exp-sum
2×	diff-log associate-/l/ sinh-def associate-+r+ unpow3 cube-mult pow-plus +-commutative flip3-+ e-exp-1 acos-asin flip-+ associate-/r/ clear-num frac-2neg pow2
1×	rem-exp-log associate--r- div-sub