Details

rewrite1.6s (0.7%)

Algorithm

27×	rewrite-expression-head

Calls

88 calls:

167.0ms	(* (log (sqrt (sqrt (atan2 b b)))) (+ (- b a) (- b a)))
143.0ms	(* (log (sqrt (sqrt (atan2 b b)))) (+ (- b a) (- b a)))
87.0ms	(sqrt (* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0)))))
78.0ms	(* (* (* 2.0 n) U) (fma (- U* U) (* n (pow (/ l Om) 2.0)) (- t (* (* (/ l Om) l) 2.0))))
75.0ms	(sin (* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (exp (log (pow (sqrt (sqrt (atan2 b b))) (- b a))))))

Rules

351×	add-sqr-sqrt
329×	*-un-lft-identity
245×	add-cube-cbrt
239×	pow1
207×	add-exp-log
147×	add-cbrt-cube
121×	associate-*r*
96×	unpow-prod-down
89×	add-log-exp log1p-expm1-u
88×	expm1-log1p-u
82×	sqrt-prod
67×	log-prod
66×	prod-exp unpow-prod-up
64×	pow-prod-down
55×	times-frac
54×	prod-diff
47×	sqrt-pow1
45×	associate-*l*
42×	cbrt-unprod cbrt-prod
36×	distribute-lft-out--
34×	log-pow
27×	pow-unpow
26×	pow1/2
24×	difference-of-squares
23×	unswap-sqr exp-prod
20×	pow1/3
19×	pow-pow
17×	pow-exp
15×	fma-udef
14×	distribute-lft-out distribute-rgt-out
13×	sqr-pow *-commutative
12×	pow-to-exp rem-sqrt-square associate-*r/ swap-sqr
11×	rem-log-exp
10×	flip3-- flip-- distribute-lft-in distribute-rgt-in
8×	frac-add
6×	div-exp pow-prod-up pow-sqr pow-sub sub-neg
5×	associate-/r* associate-/l*
4×	distribute-lft1-in exp-sum sqrt-pow2 div-inv distribute-rgt1-in
3×	pow-plus pow2
2×	expm1-udef rem-exp-log associate-/l/ flip3-+ associate-/r/ acos-asin flip-+ count-2 log-div
1×	div-sub expm1-log1p cbrt-undiv frac-2neg exp-to-pow clear-num sin-diff