Details

rewrite524.0ms (0.4%)

Algorithm

29×	rewrite-expression-head

Calls

90 calls:

27.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (exp (log (pow (sqrt (sqrt (atan2 b b))) (- b a)))))
26.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (exp (log (pow (sqrt (sqrt (atan2 b b))) (- b a)))))
26.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
22.0ms	(* (pow (sqrt (sqrt (atan2 b b))) (- b a)) (pow (sqrt (sqrt (atan2 b b))) (- b a)))
19.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))

Rules

696×	add-sqr-sqrt
464×	*-un-lft-identity
418×	add-cube-cbrt
346×	sqrt-prod
344×	unpow-prod-down
264×	prod-diff
224×	add-exp-log
206×	unpow-prod-up
205×	pow1
167×	log-prod
158×	associate-*r*
155×	add-cbrt-cube
118×	unswap-sqr
108×	associate-*l*
101×	exp-sum
93×	distribute-rgt-in distribute-lft-in
92×	associate-*r/
91×	log1p-expm1-u add-log-exp
90×	expm1-log1p-u
80×	prod-exp
76×	cbrt-prod
75×	times-frac
66×	sqr-pow
64×	swap-sqr
51×	pow-prod-down
44×	flip-- flip3-- sub-neg
41×	sqrt-pow1
40×	associate--l+
36×	cbrt-unprod
33×	exp-prod
31×	pow-exp
28×	frac-sub
26×	pow-to-exp
25×	log-pow
24×	pow1/2 sqrt-div
23×	pow-unpow difference-of-squares distribute-lft-out--
22×	pow-sub
17×	pow-pow
14×	rem-sqrt-square
12×	*-commutative rem-log-exp
11×	cbrt-div
8×	cube-prod pow1/3 div-exp associate-/r*
7×	log-div div-inv
6×	associate-/l*
5×	exp-diff
4×	associate-*l/ sqrt-pow2 acos-asin frac-times
3×	cbrt-undiv
2×	associate-/l/ unpow3 cube-mult expm1-udef pow-sqr fma-udef rem-exp-log associate-/r/ pow-prod-up clear-num frac-2neg pow2 sinh-def
1×	expm1-log1p div-sub rem-cube-cbrt sin-diff cosh-def