Details

rewrite1.5s (1.1%)

Algorithm

25×	rewrite-expression-head

Calls

74 calls:

246.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
113.0ms	(* (- t (fma 2.0 (* l (/ l Om)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))
108.0ms	(sqrt (* (- t (fma 2.0 (* l (/ l Om)) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U)))
99.0ms	(* (- t (fma 2.0 (* l (/ l Om)) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) (* (* 2.0 n) U))
98.0ms	(* (- t (fma 2.0 (/ (* l l) Om) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (* (* 2.0 n) U))

Rules

319×	add-sqr-sqrt
269×	*-un-lft-identity
262×	add-exp-log
229×	add-cube-cbrt
180×	pow1
144×	add-cbrt-cube
118×	prod-exp
104×	cbrt-prod
87×	associate-*r*
75×	log1p-expm1-u expm1-log1p-u
74×	add-log-exp
72×	prod-diff
68×	times-frac
61×	associate-*l*
60×	unpow-prod-down
55×	pow-prod-down
44×	distribute-rgt-in distribute-lft-in
43×	cbrt-unprod
36×	sqrt-pow1
30×	pow-exp
28×	pow1/3
25×	sqrt-prod
24×	log-pow unswap-sqr log-prod
20×	difference-of-squares distribute-lft-out--
18×	associate-*l/ div-exp
16×	sinh-def
15×	pow-to-exp
14×	flip-- cbrt-div flip3--
13×	*-commutative
12×	swap-sqr exp-prod
10×	associate-*r/ pow1/2
8×	sqrt-div sub-neg sqr-pow associate-/r*
6×	associate-/l* div-inv
4×	pow-prod-up rem-log-exp pow-sqr
3×	cbrt-undiv
2×	associate-/l/ expm1-udef pow-plus acos-asin rem-sqrt-square fma-udef frac-times associate-/r/ pow2 clear-num frac-2neg
1×	expm1-log1p div-sub log1p-udef log1p-expm1 sin-diff