Details

rewrite882.0ms (0.6%)

Algorithm

25×	rewrite-expression-head

Calls

81 calls:

79.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
74.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*)))))
52.0ms	(- (/ x (- hi lo)) (/ lo (- hi lo)))
51.0ms	(sqrt (* (* 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*))))))
51.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))

Rules

379×	add-sqr-sqrt
289×	add-exp-log
288×	*-un-lft-identity
253×	pow1
214×	add-cube-cbrt
171×	add-cbrt-cube
129×	prod-exp
122×	associate-*r/
114×	sqrt-prod
98×	associate-*r*
96×	times-frac
83×	add-log-exp
72×	pow-prod-down
66×	unpow-prod-down
56×	flip-- flip3-- cbrt-prod
54×	sqrt-pow1 associate-*l*
52×	distribute-rgt-in distribute-lft-in cbrt-unprod
40×	unswap-sqr pow1/2
37×	sub-neg frac-sub
36×	distribute-lft-out--
31×	pow-exp
30×	difference-of-squares swap-sqr
28×	associate--l+
24×	sqrt-div
21×	log-prod
19×	div-exp log-pow
18×	pow-prod-up associate-/r*
17×	pow-to-exp
16×	*-commutative exp-prod
12×	associate-/l* rem-sqrt-square
11×	pow-sqr
10×	sqr-pow associate-/r/
8×	pow1/3 div-inv
6×	pow-unpow rem-log-exp
5×	cbrt-undiv pow-plus
4×	acos-asin clear-num frac-2neg pow2 pow-pow
3×	rem-square-sqrt sqrt-unprod exp-sum distribute-rgt-out--
2×	associate-/l/
1×	diff-log exp-diff div-sub rem-exp-log sub-div log-div