Details

rewrite16.0s

Algorithm

125×	rewrite-expression-head

Calls

388 calls:

Slowest

588.0ms	(log (exp (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))))
454.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))))
270.0ms	(log (+ x (- (/ 1/2 x) (- (/ 1/8 (* (* x x) x)) x))))
250.0ms	(* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))
249.0ms	(* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))

Rules

30521×	associate-*l/
21391×	frac-times
16325×	flip--
16324×	flip3--
16106×	cbrt-div
6488×	associate-*r/
6196×	frac-add
5981×	sqrt-div
4890×	*-un-lft-identity
4427×	times-frac
3999×	add-sqr-sqrt
3407×	add-exp-log
2711×	add-cube-cbrt
1992×	add-cbrt-cube
1374×	prod-exp
1301×	pow1
1189×	div-exp
783×	associate-*r*
699×	pow-exp
676×	cbrt-unprod
611×	distribute-lft-out
597×	add-log-exp
578×	cbrt-undiv
572×	associate-*l*
530×	cbrt-prod
462×	difference-of-squares
418×	flip-+
417×	flip3-+
410×	sqrt-prod
407×	associate-/r*
388×	insert-posit16
380×	associate-/l*
351×	pow-to-exp
326×	div-inv
318×	distribute-lft-out--
297×	pow-prod-down
284×	tan-quot
272×	swap-sqr
175×	log-prod
171×	unswap-sqr
169×	associate-/r/
158×	frac-sub
156×	pow-prod-up
127×	1-exp rec-exp
109×	*-commutative
99×	log-pow
90×	frac-2neg clear-num
89×	pow-plus
83×	sub-neg pow-sqr
73×	exp-prod
68×	unpow-prod-down
65×	diff-log
57×	pow2 difference-of-sqr-1
56×	associate-/l/
48×	sqrt-pow1 pow1/2
46×	sum-log
40×	pow1/3
38×	distribute-rgt-in distribute-lft-in
35×	+-commutative rem-sqrt-square
32×	associate-+l+ div-sub log-div
24×	sin-mult
20×	sqr-pow
17×	rem-log-exp
14×	sub-div cos-diff
13×	pow-flip acos-asin
12×	associate-+l- distribute-rgt-out
11×	cos-sum
10×	pow3
9×	associate-+r+ associate--l+
8×	inv-pow distribute-rgt-out--
7×	cube-unmult
6×	pow-unpow distribute-frac-neg pow-pow acos-neg
5×	associate--l- difference-of-sqr--1
4×	cos-mult distribute-rgt1-in
3×	distribute-rgt-neg-out difference-cubes distribute-rgt-neg-in distribute-lft-neg-in
2×	exp-diff sin-sum associate-+r- exp-sum associate--r+ asin-acos rem-cbrt-cube associate--r-
1×	remove-posit16 unsub-neg sqrt-unprod neg-mul-1 tanh-undef tanh-def sin-diff