Details

rewrite1.9s (0.7%)

Algorithm

29×	rewrite-expression-head

Calls

97 calls:

147.0ms	(cbrt (* (* (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))))
111.0ms	(cbrt (* (* (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))) (pow (sqrt (sqrt (atan2 b b))) (+ (- b a) (- b a)))))
74.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U*) (* n (/ l Om))))))))
72.0ms	(sqrt (* (* (* 2 n) U) (+ t (* (/ l Om) (- (* l -2) (* (- U U*) (* n (/ l Om))))))))
72.0ms	(* c (* (* c 1/6) c))

Rules

401×	add-sqr-sqrt
300×	*-un-lft-identity
274×	pow1
229×	sqrt-prod
223×	add-exp-log
218×	add-cube-cbrt
194×	unpow-prod-down
189×	add-cbrt-cube
122×	pow-sub
99×	add-log-exp
97×	insert-posit16
92×	pow-prod-down
76×	associate-*r*
75×	prod-exp
70×	associate-*l*
60×	frac-times unswap-sqr
58×	cbrt-div
56×	associate-+r- associate-+l-
55×	cbrt-unprod
54×	pow-unpow
52×	sqrt-pow1
51×	associate-*r/
46×	swap-sqr
36×	sqr-pow
35×	distribute-lft-out-- times-frac
32×	associate-*l/
30×	unpow-prod-up
27×	pow1/2
24×	log-prod
23×	difference-of-squares
19×	exp-prod
18×	pow-exp pow-to-exp
17×	log-pow
16×	*-commutative pow-pow
14×	distribute-lft-out sub-neg flip3-+ sqrt-div rem-sqrt-square flip-+ distribute-rgt-out
7×	rem-log-exp
5×	associate-/r* pow1/3 associate-/l* cbrt-prod
4×	flip3-- distribute-lft-in flip-- distribute-lft1-in distribute-rgt-in sqrt-pow2 distribute-rgt1-in
3×	div-exp rem-exp-log cbrt-undiv exp-sum
2×	sinh-def pow-prod-up associate-/l/ pow-sqr pow3 pow2 associate-/r/ acos-asin rem-cbrt-cube div-inv count-2
1×	div-sub frac-2neg clear-num