Details

rewrite6.9s (1.5%)

Algorithm

29×	rewrite-expression-head

Calls

97 calls:

543.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
525.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)))))
468.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)))))
425.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
392.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))

Rules

462×	add-sqr-sqrt
348×	add-exp-log
334×	*-un-lft-identity
254×	unpow-prod-down
246×	add-cube-cbrt
239×	pow1
226×	sqrt-prod
203×	add-cbrt-cube
158×	prod-exp
127×	associate-*r*
122×	pow-sub
114×	associate-*r/
103×	add-log-exp
97×	insert-posit16
85×	associate-*l*
74×	unswap-sqr
71×	pow-prod-down
68×	times-frac
63×	cbrt-unprod
58×	frac-times
56×	associate-+r- associate-+l-
54×	pow-unpow
52×	cbrt-div
48×	pow-exp
46×	flip3-- flip-- swap-sqr
44×	sqr-pow
40×	sqrt-pow1
38×	sub-neg distribute-lft-out--
33×	pow-to-exp
32×	frac-sub
30×	unpow-prod-up associate-*l/
26×	difference-of-squares
24×	pow1/2 distribute-lft-in sqrt-div distribute-rgt-in log-prod
19×	exp-prod *-commutative
18×	div-exp
17×	log-pow
16×	associate--l+ pow-pow
14×	distribute-lft-out rem-sqrt-square distribute-rgt-out
8×	associate-/r*
7×	rem-log-exp
6×	div-inv associate-/l*
4×	distribute-lft1-in sqrt-pow2 distribute-rgt1-in
3×	exp-sum rem-exp-log cbrt-undiv
2×	sinh-def pow-prod-up associate-/l/ pow-sqr frac-2neg sum-log pow3 pow2 associate-/r/ pow1/3 acos-asin clear-num rem-cbrt-cube +-commutative flip-+ count-2 flip3-+ cbrt-prod
1×	div-sub