Details

rewrite867.0ms (0.8%)

Algorithm

29×	rewrite-expression-head

Calls

90 calls:

80.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
60.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* 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 (/ l Om)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))
50.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
47.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

458×	pow1
350×	sqrt-pow1
349×	add-sqr-sqrt
340×	add-exp-log
263×	*-un-lft-identity
252×	log-pow
225×	add-cube-cbrt
202×	associate-*r*
186×	add-cbrt-cube
178×	pow1/2
147×	prod-exp
113×	pow-prod-down
100×	associate-*r/
95×	cbrt-prod
92×	add-log-exp
90×	pow-prod-up
76×	unpow-prod-down
72×	log-prod
69×	times-frac
63×	associate-*l*
56×	cbrt-unprod
52×	sqrt-prod
50×	pow-sqr
49×	flip-- flip3--
42×	distribute-rgt-in distribute-lft-in
40×	unswap-sqr
34×	pow-exp
32×	frac-sub
29×	sub-neg
25×	rem-log-exp
24×	sqrt-div
22×	*-commutative
20×	difference-of-squares
19×	distribute-lft-out-- pow-to-exp
18×	div-exp
16×	sqr-pow exp-prod associate--l+
10×	pow-plus pow1/3 rem-sqrt-square pow2
8×	cube-prod associate-/r*
6×	associate-/l* div-inv
3×	cbrt-undiv exp-sum
2×	associate-/l/ sinh-def unpow3 cube-mult acos-asin asin-acos associate-/r/ clear-num frac-2neg
1×	associate--r- div-sub rem-exp-log pow3 diff-log