Details

rewrite20.2s (1.6%)

Algorithm

141×	rewrite-expression-head

Calls

446 calls:

1.4s	(- (* (* (cos delta) (cos delta)) (cos delta)) (* (cbrt (* (* (* (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1)))))) (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))) (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1)))))) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))))) (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))))
1.4s	(cbrt (* (* (* (* (cbrt (sin (/ (- phi1 phi2) 2))) (cbrt (sin (/ (- phi1 phi2) 2)))) (cbrt (sin (/ (- phi1 phi2) 2)))) (sin (/ (- phi1 phi2) 2))) (sin (/ (- phi1 phi2) 2))))
1.3s	(cbrt (* (* (* (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1)))))) (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))) (* (sin phi1) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1))))) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1)))))) (sin (asin (fma (* (cos phi1) (sin delta)) (cos theta) (* (cos delta) (sin phi1)))))))))
763.0ms	(* (- (/ (* m (- (pow 1 3) (pow m 3))) (fma (fma m m m) v v)) 1) (- 1 m))
339.0ms	(/ (+ (* (sqrt (fma (* a c) -3 (* b b))) (* (* a c) -3)) (- (* (sqrt (fma (* a c) -3 (* b b))) (* b b)) (* b (* b b)))) (fma (sqrt (fma (* a c) -3 (* b b))) b (+ (fma (* a c) -3 (* b b)) (* b b))))

Rules

8733×	*-un-lft-identity
8073×	add-sqr-sqrt
7828×	times-frac
5428×	add-cube-cbrt
3234×	add-exp-log
3101×	prod-diff
1555×	add-cbrt-cube
1373×	pow1
1270×	prod-exp
1152×	difference-of-squares
1127×	div-exp
976×	associate-*l*
821×	sqrt-prod
776×	distribute-lft-out
696×	pow-exp
614×	associate-*r*
608×	add-log-exp
600×	distribute-lft-out--
532×	div-inv
510×	associate-/r/
453×	expm1-log1p-u
450×	unpow-prod-down
448×	log1p-expm1-u
446×	insert-posit16
406×	associate-*l/
405×	associate-/l*
393×	associate-/r*
390×	cbrt-unprod
366×	difference-of-sqr-1
348×	pow-to-exp
317×	cbrt-undiv
309×	sin-mult
304×	distribute-rgt-in distribute-lft-in
295×	cbrt-prod
273×	pow-prod-down
267×	fma-neg
264×	frac-times swap-sqr
237×	flip--
236×	flip3--
233×	1-exp rec-exp
203×	associate-*r/
193×	unswap-sqr
188×	flip-+
187×	flip3-+
181×	pow-prod-up
173×	log-prod
162×	cube-prod
148×	sqr-pow
120×	cbrt-div
109×	fma-def
107×	*-commutative
97×	frac-2neg clear-num
94×	pow-sqr
89×	sub-neg
87×	pow-plus
86×	frac-sub
83×	cos-mult
77×	pow-flip sqrt-div
71×	distribute-rgt-neg-in
70×	associate-/l/
67×	tan-quot diff-log
66×	inv-pow
64×	cos-sum
63×	associate--l+ fma-udef distribute-lft-neg-in
60×	sqrt-pow1 pow1/2
55×	pow2
51×	exp-sum
49×	cube-mult
48×	unpow3
37×	pow1/3 div-sub
33×	rem-sqrt-square
30×	log-pow
25×	cube-unmult
22×	sum-log sin-sum
21×	neg-mul-1
20×	log-div
19×	cos-diff
17×	+-commutative
16×	exp-prod rem-log-exp
15×	associate--r+
13×	difference-cubes
12×	sin-diff
11×	pow3 un-div-inv
9×	frac-add
7×	associate-+r+ sin-cos-mult log1p-expm1 acos-asin associate--r- log1p-udef
6×	neg-sub0 pow-unpow pow-pow pow-div
5×	rem-exp-log associate-+l- distribute-rgt-out
4×	expm1-log1p expm1-udef neg-log sub-div expm1-def
3×	associate-+l+ exp-diff associate--l- distribute-frac-neg acos-neg rem-cbrt-cube
2×	associate-+r- sqrt-unprod hypot-udef asin-acos hypot-def rem-square-sqrt
1×	remove-posit16 distribute-rgt1-in log-rec tanh-def sqr-sin tanh-undef distribute-rgt-out-- distribute-neg-in