Details

rewrite3.4m (19.6%)

Algorithm

145×	rewrite-expression-head

Calls

472 calls:

2.4m	(/ (- (- (* (cos delta) (cos delta)) (+ (+ (* (* (cos theta) (* (sin delta) (* (* (cos delta) (sin phi1)) (* (sin phi1) (sin phi1))))) (cos phi1)) (* (cos theta) (* (* (* (sin delta) (cos phi1)) (cos delta)) (* (sin phi1) (* (sin phi1) (sin phi1)))))) (* (* (* (sin phi1) (sin phi1)) (cos delta)) (* (* (sin phi1) (sin phi1)) (cos delta))))) (* (* (* (cos theta) (sin phi1)) (* (cos theta) (sin phi1))) (* (* (cos phi1) (sin delta)) (* (cos phi1) (sin delta))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
18.3s	(/ (- (* (cos delta) (cos delta)) (+ (+ (* (* (cos theta) (* (sin delta) (* (* (cos delta) (sin phi1)) (* (sin phi1) (sin phi1))))) (cos phi1)) (* (cos theta) (* (* (* (sin delta) (cos phi1)) (cos delta)) (* (sin phi1) (* (sin phi1) (sin phi1)))))) (* (* (* (sin phi1) (sin phi1)) (cos delta)) (* (* (sin phi1) (sin phi1)) (cos delta))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
12.2s	(- (* (cos delta) (cos delta)) (+ (+ (* (* (cos theta) (* (sin delta) (* (* (cos delta) (sin phi1)) (* (sin phi1) (sin phi1))))) (cos phi1)) (* (cos theta) (* (* (* (sin delta) (cos phi1)) (cos delta)) (* (sin phi1) (* (sin phi1) (sin phi1)))))) (* (* (* (sin phi1) (sin phi1)) (cos delta)) (* (* (sin phi1) (sin phi1)) (cos delta)))))
8.3s	(- (* (cos delta) (cos delta)) (+ (+ (* (* (cos theta) (* (sin delta) (* (* (cos delta) (sin phi1)) (* (sin phi1) (sin phi1))))) (cos phi1)) (* (cos theta) (* (* (* (sin delta) (cos phi1)) (cos delta)) (* (sin phi1) (* (sin phi1) (sin phi1)))))) (* (* (* (sin phi1) (sin phi1)) (cos delta)) (* (* (sin phi1) (sin phi1)) (cos delta)))))
1.1s	(/ (+ (* (* (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2)) (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2))) (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2))) (* (cos phi1) (* (cos phi1) (cos phi1)))) (+ (* (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2)) (- (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2)) (cos phi1))) (* (cos phi1) (cos phi1))))

Rules

4382×	*-un-lft-identity
4275×	add-sqr-sqrt
4247×	times-frac
3041×	add-exp-log
2932×	add-cube-cbrt
2203×	add-cbrt-cube
1674×	pow1
1279×	associate-*l/
1119×	prod-exp
834×	div-exp
718×	add-log-exp
709×	cbrt-unprod
696×	associate-*l* flip--
695×	flip3--
666×	associate-*r*
661×	frac-times
649×	frac-add
622×	associate-*r/
603×	sqrt-prod
564×	associate-/l*
502×	pow-prod-down
498×	difference-of-squares
490×	associate-/r*
477×	cbrt-undiv
455×	sqrt-div
429×	distribute-lft-out--
347×	div-inv
342×	cbrt-prod
307×	cos-mult
290×	flip-+
289×	flip3-+
286×	distribute-lft-out
268×	pow-exp
247×	sin-mult
202×	log-prod
199×	associate-/r/
188×	pow-to-exp
167×	unswap-sqr
161×	associate-/l/
143×	pow-prod-up
123×	swap-sqr
122×	*-commutative
121×	frac-2neg clear-num
99×	sub-neg
94×	frac-sub cbrt-div diff-log
93×	pow-plus
80×	pow-sqr
75×	log-pow
73×	distribute-rgt-neg-in
62×	exp-prod
60×	unpow-prod-down
56×	log-div
54×	sqrt-pow1 pow1/2
48×	pow1/3
44×	1-exp rec-exp tan-quot
43×	sum-log
41×	div-sub
40×	pow2
36×	rem-sqrt-square
34×	sin-cos-mult
32×	distribute-rgt-in distribute-lft-in
31×	associate--l+
29×	rem-log-exp
26×	distribute-rgt-out
24×	+-commutative
20×	associate--r+
18×	sin-diff
17×	pow-flip
15×	cos-diff
14×	associate--l-
13×	cos-sum
12×	exp-sum sqr-pow distribute-rgt1-in
10×	cube-unmult inv-pow un-div-inv
9×	pow3 acos-asin
8×	exp-diff associate-+r+
7×	rem-exp-log associate--r-
6×	distribute-lft-neg-in associate-+r- pow-unpow
5×	neg-sub0 sin-sum sub-div sum-cubes sqr-cos
4×	neg-log associate-+l-
3×	distribute-frac-neg acos-neg
2×	distribute-lft1-in distribute-rgt-out-- distribute-rgt-neg-out pow-pow asin-acos neg-mul-1
1×	sqrt-unprod tanh-def exp-to-pow tanh-undef rem-cbrt-cube