Details

rewrite28.9s (5.7%)

Algorithm

144×	rewrite-expression-head

Calls

507 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)))))))
1.1s	(/ (- (pow (/ x (+ x 1.0)) 3) (log (exp (pow (/ (+ x 1.0) (- x 1.0)) 3)))) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
802.0ms	(sqrt (+ (* (* (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)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
771.0ms	(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
727.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))))

Rules

60354×	associate-*l/
41172×	frac-times
32673×	flip--
32672×	flip3--
31241×	cbrt-div
12246×	associate-*r/
11960×	sqrt-div
11933×	frac-add
7761×	times-frac
7146×	*-un-lft-identity
6733×	add-sqr-sqrt
5235×	log-div
5196×	exp-diff
4054×	add-cube-cbrt
2795×	add-exp-log
1837×	add-cbrt-cube
1318×	sqrt-prod
1176×	pow1
1095×	associate-*r*
1021×	associate-/l* unpow-prod-down
1001×	difference-of-squares
968×	distribute-lft-out--
870×	prod-exp
863×	div-exp
816×	add-log-exp
650×	cube-prod
604×	associate-/r*
513×	distribute-lft-out
509×	associate-*l*
436×	cbrt-undiv
426×	cbrt-unprod
383×	cbrt-prod
368×	div-inv
347×	associate-/r/
331×	pow-exp
285×	distribute-rgt-neg-in
283×	pow-prod-down
274×	sqr-pow
242×	pow-to-exp
241×	unswap-sqr
203×	flip-+
202×	flip3-+
197×	log-prod
140×	associate-/l/
126×	clear-num frac-2neg
105×	sub-neg
103×	*-commutative
98×	unpow2
95×	diff-log
77×	pow-unpow
71×	sum-log
70×	pow1/3
61×	div-sub
58×	exp-prod sqrt-pow1
56×	unpow3 cube-mult
54×	pow1/2 distribute-lft-neg-in swap-sqr
53×	log-pow
48×	+-commutative
45×	pow-pow sin-mult
42×	1-exp rec-exp
41×	rem-sqrt-square
40×	exp-sum
36×	pow-prod-up
35×	neg-sub0
34×	pow-sqr frac-sub
31×	distribute-rgt-in distribute-rgt-out distribute-lft-in
30×	sin-cos-mult
27×	associate-+l-
25×	tan-quot
24×	associate-+r+
23×	neg-log associate--l+
20×	rem-log-exp associate--l-
18×	pow-plus neg-mul-1
17×	sin-diff
16×	cos-diff
15×	cos-sum
14×	rem-cube-cbrt pow2
13×	cos-mult associate--r+
11×	associate-+l+
10×	cube-div acos-asin
9×	distribute-frac-neg
8×	rem-exp-log distribute-lft1-in pow-flip associate--r-
7×	sum-cubes associate-+r-
6×	difference-cubes pow-sub
5×	sin-sum distribute-rgt-neg-out
4×	inv-pow
3×	acos-neg un-div-inv unpow-prod-up
2×	pow-div sqrt-pow2 sin-neg sqrt-unprod sub-div sqrt-undiv
1×	e-exp-1 exp-neg unpow1/2 rem-square-sqrt tanh-undef asin-acos tanh-def rem-cbrt-cube