Details

rewrite1.0s (0.9%)

Algorithm

27×	rewrite-expression-head

Calls

88 calls:

77.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
61.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*))))
55.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*)))))
53.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (cbrt (pow (pow (sqrt (sqrt (atan2 b b))) (- b a)) 3)))
53.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (cbrt (pow (pow (sqrt (sqrt (atan2 b b))) (- b a)) 3)))

Rules

786×	add-sqr-sqrt
667×	unpow-prod-down
649×	sqrt-prod
369×	*-un-lft-identity
331×	add-cube-cbrt
328×	add-exp-log
234×	associate-*r* pow1
228×	unswap-sqr
195×	cbrt-prod
178×	add-cbrt-cube
145×	prod-exp
137×	cube-prod
127×	associate-*l*
122×	sqr-pow
102×	associate-*r/
92×	add-log-exp
81×	log-prod
78×	times-frac
65×	pow-exp
62×	sqrt-pow1
61×	pow-prod-down
58×	distribute-rgt-in distribute-lft-in
54×	swap-sqr
52×	unpow-prod-up
51×	cbrt-unprod
48×	sub-neg
47×	flip-- pow-unpow flip3--
44×	pow-to-exp
38×	pow1/2
36×	exp-sum
32×	frac-sub
31×	pow-pow
26×	log-pow
24×	sqrt-div
22×	pow-sub
19×	*-commutative difference-of-squares distribute-lft-out--
18×	div-exp
16×	associate--l+
14×	exp-prod
12×	rem-sqrt-square
8×	associate-*l/ pow-prod-up associate-/r*
7×	div-inv
6×	associate-/l* unpow3 cube-mult sqrt-pow2 cube-div
5×	pow-sqr
4×	frac-times cbrt-div
3×	cbrt-undiv rem-cube-cbrt pow2 rem-log-exp
2×	associate-/l/ pow-plus acos-asin rem-exp-log associate-/r/ clear-num frac-2neg exp-to-pow
1×	rem-square-sqrt div-sub pow1/3 sqrt-unprod