Details

rewrite42.6s (5.3%)

Algorithm

138×	rewrite-expression-head

Calls

461 calls:

5.1s	(/ (- (pow (cos delta) 2) (+ (* (pow (sin phi1) 3) (* (cos phi1) (* (cos delta) (* (sin delta) (cos theta))))) (+ (* (pow (sin phi1) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin delta) 2)))) (+ (* (* (pow (sin phi1) 2) (pow (sin phi1) 2)) (pow (cos delta) 2)) (* (pow (sin phi1) 3) (* (cos phi1) (* (sin delta) (* (cos delta) (cos theta))))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
2.3s	(- (pow (cos delta) 2) (+ (* (pow (sin phi1) 3) (* (cos phi1) (* (cos delta) (* (sin delta) (cos theta))))) (+ (* (pow (sin phi1) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin delta) 2)))) (+ (* (* (pow (sin phi1) 2) (pow (sin phi1) 2)) (pow (cos delta) 2)) (* (pow (sin phi1) 3) (* (cos phi1) (* (sin delta) (* (cos delta) (cos theta)))))))))
1.4s	(- (pow (cos delta) 2) (+ (* (pow (sin phi1) 3) (* (cos phi1) (* (cos delta) (* (sin delta) (cos theta))))) (+ (* (pow (sin phi1) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin delta) 2)))) (+ (* (pow (sin phi1) 4) (pow (cos delta) 2)) (* (pow (sin phi1) 3) (* (cos phi1) (* (sin delta) (* (cos delta) (cos theta)))))))))
1.3s	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
884.0ms	(* (- (/ (/ (* m (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m)))) v) 1.0) (- 1.0 m))

Rules

30846×	associate-*l/
20948×	frac-times
16864×	flip--
16863×	flip3--
16004×	cbrt-div
8999×	times-frac
6772×	*-un-lft-identity
6501×	add-sqr-sqrt
6332×	associate-*r/
6237×	frac-add
5984×	sqrt-div
4731×	add-cube-cbrt
2089×	add-exp-log
1756×	add-cbrt-cube
1344×	pow1
1221×	associate-*r*
1164×	sqrt-prod
788×	add-log-exp
771×	associate-/l*
697×	difference-of-squares
681×	cbrt-prod
616×	associate-/r*
596×	distribute-lft-out--
568×	prod-exp
528×	div-exp
496×	div-inv
466×	cbrt-unprod
415×	distribute-lft-out
414×	unpow-prod-down
410×	associate-*l*
396×	cbrt-undiv
354×	pow-prod-down
339×	distribute-rgt-neg-in
281×	associate-/r/
227×	cube-prod
187×	unswap-sqr
172×	flip-+
171×	flip3-+
156×	sqr-pow
126×	distribute-lft-neg-in
123×	associate-/l/
120×	log-prod
113×	clear-num frac-2neg
108×	*-commutative
106×	pow-prod-up
101×	sub-neg log-div
93×	diff-log
90×	sum-log
88×	tan-quot
74×	swap-sqr
73×	exp-diff
72×	pow-sqr
62×	div-sub
56×	unpow3 unpow2 pow-plus
54×	neg-mul-1
50×	cube-mult
49×	pow1/3
44×	log-pow frac-sub pow-exp
42×	pow-to-exp
41×	+-commutative
38×	pow2
36×	pow1/2 pow-unpow sqrt-pow1
35×	1-exp exp-prod
34×	associate-+l-
33×	neg-sub0
32×	rem-sqrt-square rec-exp
31×	distribute-rgt-in distribute-lft-in distribute-rgt-out
30×	sin-mult
24×	cos-mult
21×	neg-log
18×	cos-diff
17×	sin-diff
16×	associate-+r+ rem-log-exp
15×	cos-sum
14×	pow-pow exp-sum
12×	sin-cos-mult associate-+l+ acos-asin associate--l+
9×	rem-cube-cbrt distribute-frac-neg associate--l-
7×	distribute-rgt-out-- sub-div
6×	rem-exp-log associate-+r- distribute-rgt-neg-out associate--r+
5×	cube-div sin-sum sum-cubes distribute-lft1-in inv-pow pow-flip
3×	acos-neg
2×	unsub-neg asin-acos distribute-neg-frac rem-cbrt-cube
1×	distribute-neg-out difference-cubes un-div-inv sqrt-unprod pow3 distribute-rgt1-in tanh-undef sqr-cos associate--r- tanh-def