Details

rewrite25.4s (5.1%)

Algorithm

144×	rewrite-expression-head

Calls

508 calls:

2.0s	(/ (- (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))))))))) (+ (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (cos theta) (sin delta)))))))
756.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (exp (log (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))))
665.0ms	(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))))
295.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
293.0ms	(/ (/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

Rules

60332×	associate-*l/
41133×	frac-times
32666×	flip--
32665×	flip3--
31218×	cbrt-div
12203×	associate-*r/
11964×	sqrt-div
11879×	frac-add
6652×	times-frac
6120×	*-un-lft-identity
6001×	add-sqr-sqrt
5234×	log-div
5197×	exp-diff
3868×	add-cube-cbrt
2930×	add-exp-log
1854×	add-cbrt-cube
1302×	sqrt-prod
1168×	pow1
1139×	associate-*r*
962×	prod-exp
938×	div-exp
875×	associate-/l*
827×	add-log-exp
762×	difference-of-squares
692×	distribute-lft-out--
554×	associate-/r*
528×	unpow-prod-down associate-*l*
451×	cbrt-unprod
431×	cbrt-undiv
418×	distribute-lft-out
391×	cbrt-prod
336×	div-inv
324×	distribute-rgt-neg-in
312×	pow-exp
286×	pow-prod-down
284×	associate-/r/
248×	cube-prod
247×	unswap-sqr
231×	pow-to-exp
199×	log-prod
191×	flip-+
190×	flip3-+
182×	sqr-pow
125×	associate-/l/
123×	clear-num frac-2neg
117×	distribute-lft-neg-in
105×	*-commutative
103×	sub-neg
98×	1-exp
92×	diff-log
85×	unpow2
79×	sum-log
74×	pow1/3
73×	exp-prod
64×	log-pow
58×	div-sub
57×	rec-exp
54×	swap-sqr sqrt-pow1
53×	+-commutative
50×	pow1/2 unpow3 cube-mult
46×	pow-unpow
42×	exp-sum
39×	rem-sqrt-square neg-mul-1
36×	pow-prod-up
35×	neg-sub0
34×	pow-pow pow-sqr
31×	distribute-rgt-in distribute-lft-in
27×	associate-+r+ associate-+l-
25×	tan-quot
24×	frac-sub
23×	neg-log sin-mult
21×	associate--l+ rem-log-exp
18×	pow-plus associate--l-
17×	sin-diff
16×	distribute-rgt-out
15×	cos-diff
14×	pow2
13×	cos-mult
12×	cos-sum
11×	associate-+l+
9×	acos-asin
8×	sin-cos-mult rem-exp-log associate--r+ associate-+r-
7×	rem-cube-cbrt distribute-frac-neg sum-cubes
6×	cube-div pow-sub pow-flip associate--r-
5×	distribute-lft1-in sin-sum distribute-rgt-neg-out
4×	sin-neg
3×	acos-neg un-div-inv inv-pow unpow-prod-up sqrt-undiv
2×	pow-div sqrt-unprod sub-div rem-cbrt-cube
1×	difference-cubes e-exp-1 exp-neg rem-square-sqrt tanh-undef asin-acos tanh-def