Details

rewrite4.0s

Algorithm

131×	rewrite-expression-head

Calls

419 calls:

Slowest

118.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
102.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
79.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
67.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
65.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))

Rules

2160×	associate-*l/
1826×	flip--
1825×	flip3--
1699×	frac-times
1181×	sqrt-div
1133×	add-exp-log
1039×	*-un-lft-identity
1037×	frac-add
1011×	add-sqr-sqrt
929×	associate-*r/
867×	add-cube-cbrt
717×	pow1
652×	cbrt-div
624×	add-cbrt-cube
536×	add-log-exp
506×	cos-mult
419×	insert-posit16
384×	prod-exp
308×	times-frac
264×	pow-exp
258×	associate-*r*
212×	div-exp
208×	associate-*l*
204×	associate-/r*
196×	div-inv
190×	log-prod
187×	sqrt-prod
184×	pow-to-exp
134×	associate-/r/
128×	sub-neg
127×	associate-/l*
119×	flip-+
118×	flip3-+
106×	frac-sub *-commutative
102×	rec-exp
100×	distribute-rgt-in distribute-lft-in
99×	frac-2neg clear-num
88×	pow-prod-down
79×	log-pow
74×	cbrt-prod log-div
71×	cbrt-unprod
66×	tan-quot
61×	difference-of-squares
57×	associate-/l/
53×	distribute-lft-out--
51×	distribute-lft-out
49×	pow1/2
45×	pow-prod-up
44×	diff-log
43×	associate--l+
41×	cbrt-undiv rem-sqrt-square
39×	pow1/3
34×	exp-prod
33×	associate--r+
32×	associate-+r+
30×	pow-plus
28×	+-commutative
26×	pow-flip pow2
23×	rem-log-exp
22×	sum-log
17×	div-sub
16×	unpow-prod-down associate--r-
15×	associate--l- difference-of-sqr-1
14×	inv-pow
12×	cos-diff
10×	associate-+l+ associate-+l-
9×	un-div-inv cos-sum acos-asin distribute-rgt-out
6×	pow-pow
5×	exp-diff sin-mult sub-div
4×	cube-prod associate-+r- difference-cubes distribute-rgt1-in
3×	neg-sub0 distribute-lft-neg-out distribute-frac-neg exp-sum sqrt-unprod acos-neg
2×	sin-sum pow3 rem-exp-log rem-cbrt-cube
1×	pow-div unsub-neg distribute-rgt-out-- sin-cos-mult neg-mul-1 tanh-undef tanh-def sin-PI/3 exp-to-pow asin-acos sin-diff