Details

rewrite1.4s (0.5%)

Algorithm

27×	rewrite-expression-head

Calls

89 calls:

163.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)))
125.0ms	(* (* (/ n (/ Om l)) (- (- (* l 2) (* (- U* U) (/ n (/ Om l)))))) (* 2 U))
120.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)))
107.0ms	(* U (* n (* 2 (- t (* (/ l Om) (- (* 2 l) (* (- U* U) (/ l (/ Om n)))))))))
91.0ms	(sqrt (+ (* U (* (* t 2) n)) (* (/ n (/ Om l)) (* (- (- (* l 2) (* (- U* U) (/ n (/ Om l))))) (* 2 U)))))

Rules

765×	add-sqr-sqrt
682×	times-frac
605×	*-un-lft-identity
563×	add-cube-cbrt
284×	sqrt-prod
258×	add-exp-log
244×	pow1
222×	add-cbrt-cube
210×	unpow-prod-down
181×	associate-*r*
89×	add-log-exp insert-posit16
83×	associate-/r*
76×	prod-exp
65×	unswap-sqr
60×	cbrt-unprod associate-*l*
59×	pow-prod-down sqrt-pow1
53×	swap-sqr
43×	div-inv
36×	pow1/2 unpow-prod-up
35×	cbrt-prod
34×	div-exp cbrt-undiv sqr-pow
32×	distribute-lft-in distribute-rgt-in
30×	pow-unpow sub-neg pow-pow
27×	associate-*r/
23×	associate-/l*
22×	rem-sqrt-square
21×	difference-of-squares distribute-lft-out--
18×	pow-to-exp pow-exp
17×	pow1/3
14×	flip3-- flip-- associate-*l/ pow-sub
13×	*-commutative
11×	pow-prod-up associate-/r/
10×	frac-times
8×	sqrt-div log-pow pow-plus
7×	frac-2neg clear-num pow-sqr
6×	log-prod pow2 exp-prod sqrt-pow2
4×	distribute-neg-frac
2×	rem-log-exp associate-/l/ flip3-+ pow3 acos-asin flip-+
1×	div-sub distribute-lft-neg-out distribute-rgt-neg-out rem-cbrt-cube