Details

rewrite19.5s (1.4%)

Algorithm

144×	rewrite-expression-head

Calls

483 calls:

523.0ms	(- (* (cos delta) (* (cos delta) (cos delta))) (* (* (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))))
518.0ms	(- (/ (/ 1 (/ 1 (sqrt (* (cbrt (- (* b b) (* (* c a) 4))) (cbrt (- (* b b) (* (* c a) 4))))))) (/ a (sqrt (cbrt (- (* b b) (* (* c a) 4)))))) (/ b a))
513.0ms	(* (+ (* (- (/ (* (- 1 (* m m)) m) (+ v (* v m))) 1) (sqrt m)) (- (/ (* (- 1 (* m m)) m) (+ v (* v m))) 1)) (- 1 (sqrt m)))
460.0ms	(* (sin lambda1) (sin lambda2))
450.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))

Rules

30893×	associate-*l/
21292×	frac-times
17000×	flip--
16999×	flip3--
15785×	cbrt-div
6655×	associate-*r/
6596×	sqrt-div
6177×	frac-add
5780×	add-sqr-sqrt
5306×	times-frac
5125×	*-un-lft-identity
3481×	add-exp-log
3257×	add-cube-cbrt
2025×	add-cbrt-cube
1707×	pow1
1357×	prod-exp
1135×	div-exp
934×	sqrt-prod
893×	difference-of-squares
852×	associate-*l*
822×	associate-*r*
721×	add-log-exp
699×	pow-exp
633×	cbrt-unprod
545×	associate-/r*
483×	insert-posit16
479×	cbrt-undiv
421×	associate-/l* distribute-lft-out--
409×	pow-prod-down
378×	cbrt-prod
351×	pow-to-exp
331×	flip-+
330×	flip3-+
300×	div-inv
299×	distribute-lft-out
283×	associate-/r/
264×	pow-prod-up
242×	log-prod
237×	unswap-sqr
225×	difference-of-sqr-1
180×	sqrt-pow1 swap-sqr
169×	pow1/2
153×	*-commutative
144×	1-exp rec-exp
135×	pow-sqr
119×	sub-neg
115×	frac-sub
109×	frac-2neg clear-num
106×	log-pow
92×	distribute-rgt-in distribute-lft-in
90×	pow-plus exp-prod
81×	associate-/l/
80×	diff-log
72×	tan-quot
64×	unpow-prod-down
62×	pow2
48×	sum-log pow1/3
41×	cos-mult
37×	div-sub
32×	associate-+r+
31×	rem-log-exp
29×	+-commutative
27×	rem-sqrt-square log-div
25×	associate--l+
21×	pow-flip
20×	sin-cos-mult
18×	sin-diff
17×	inv-pow
16×	sqr-pow
15×	associate-+l+ sin-mult associate--r+
13×	cos-diff
12×	cos-sum
10×	sin-sum acos-asin
8×	distribute-rgt-out-- pow-div pow3 sqrt-unprod associate-+l-
6×	pow-unpow cube-unmult pow-pow exp-to-pow
5×	exp-diff associate--l-
4×	exp-sum log-rec un-div-inv sqr-cos
3×	distribute-frac-neg acos-neg rem-square-sqrt
2×	associate-+r- sqrt-undiv distribute-rgt-neg-out difference-cubes rem-exp-log sub-div rem-cbrt-cube
1×	remove-posit16 distribute-lft1-in tanh-undef tanh-def asin-acos unsub-neg associate--r- distribute-rgt-out