Details

rewrite2.6s (1.0%)

Algorithm

27×	rewrite-expression-head

Calls

89 calls:

628.0ms	(* (* (* (* (cbrt n) (/ l Om)) (* (cbrt n) (/ l Om))) (cbrt n)) (- U U*))
154.0ms	(* (* (* (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
154.0ms	(* (* (* (/ l Om) (/ l Om)) n) (- U U*))
150.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
146.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))

Rules

610×	add-sqr-sqrt
459×	*-un-lft-identity
415×	add-cube-cbrt
338×	add-exp-log
313×	pow1
294×	prod-diff
280×	sqrt-prod
254×	add-cbrt-cube
225×	unpow-prod-down
162×	unpow-prod-up
154×	prod-exp
152×	distribute-rgt-in distribute-lft-in
126×	associate-*r*
123×	cbrt-unprod
107×	pow-prod-down
90×	expm1-log1p-u log1p-expm1-u
89×	add-log-exp insert-posit16
86×	associate-*r/
76×	associate-*l*
71×	swap-sqr
66×	sqrt-pow1 unswap-sqr
49×	times-frac
42×	sub-neg
40×	cbrt-prod
36×	pow1/2 flip3-- flip-- sqr-pow associate-*l/
30×	pow-unpow pow-pow
24×	pow-exp
22×	difference-of-squares distribute-lft-out--
21×	pow-to-exp div-exp frac-times
20×	rem-sqrt-square associate--l+
18×	cbrt-undiv *-commutative
17×	pow1/3
16×	sqrt-div frac-sub
14×	pow-sub
11×	pow-prod-up
8×	log-pow pow-plus associate-/r*
7×	pow-sqr
6×	log-prod pow2 exp-prod sqrt-pow2 associate-/l*
4×	div-inv
2×	unpow2 associate-/l/ pow3 frac-2neg associate-/r/ rem-log-exp acos-asin clear-num
1×	expm1-log1p expm1-udef div-sub log1p-expm1 log1p-udef rem-cbrt-cube