Details

rewrite5.2m (22.0%)

Algorithm

122×	rewrite-expression-head

Calls

401 calls:

32.9s	(/ (+ (* (- (* (* (cbrt 1.0) (cbrt 1.0)) (/ x 2.0)) (* (/ (+ x 1.0) (cbrt 1.0)) 1)) (/ (- x 1.0) 1.0)) (* (* (/ (+ x 1.0) (cbrt 1.0)) (/ x 2.0)) 1)) (* (* (/ (+ x 1.0) (cbrt 1.0)) (/ x 2.0)) (/ (- x 1.0) 1.0)))
9.9s	(+ (* (- (* (* (cbrt 1.0) (cbrt 1.0)) (/ x 2.0)) (* (/ (+ x 1.0) (cbrt 1.0)) 1)) (/ (- x 1.0) 1.0)) (* (* (/ (+ x 1.0) (cbrt 1.0)) (/ x 2.0)) 1))
7.7s	(/ (* (+ (* (sqrt (/ 1.0 (sqrt 1))) (sqrt (sqrt (sqrt (+ x 1.0))))) (* (sqrt (sqrt x)) (sqrt (/ 1.0 (sqrt (sqrt (+ x 1.0))))))) (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0)))))) (* (sqrt (sqrt x)) (sqrt (sqrt (sqrt (+ x 1.0))))))
1.7s	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))
622.0ms	(* (+ (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))) (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))))

Rules

1665536×	associate-*l/
1586675×	frac-times
1502969×	associate-/r*
1309616×	associate-/l*
1289402×	*-un-lft-identity
971000×	add-sqr-sqrt
901701×	frac-sub
880490×	frac-add
843372×	add-cube-cbrt
779822×	associate-/l/
764665×	associate-*r/
678512×	sqrt-div
416265×	clear-num
342951×	frac-2neg
293918×	cbrt-prod
214683×	sqrt-prod
146942×	un-div-inv
131022×	flip-+ flip3-+
128165×	distribute-lft-out
62512×	distribute-lft-out--
60169×	flip-- flip3--
58793×	difference-of-squares
23820×	times-frac
20140×	associate-*l*
5126×	associate-*r*
5023×	unswap-sqr
3080×	associate-/r/
2662×	*-commutative
2364×	unpow-prod-down
1681×	pow1
1295×	add-exp-log
1279×	log-pow
1002×	add-cbrt-cube
891×	sqr-pow
777×	add-log-exp
725×	unpow2
723×	swap-sqr
648×	log-prod
537×	div-inv
410×	exp-prod
361×	pow-unpow
310×	prod-exp
273×	associate-+l+
266×	div-exp
202×	cbrt-undiv
190×	log-div
188×	sum-cubes
185×	cbrt-unprod
178×	cbrt-div
163×	sqrt-pow1
158×	distribute-rgt-neg-in
145×	*.c-commutative
142×	sub-neg
139×	diff-log
138×	associate-*l*.c
125×	pow-prod-down
107×	associate--r+
100×	distribute-lft-out.c
97×	associate-+r+
95×	distribute-rgt-in pow-exp distribute-lft-in
92×	pow-to-exp
80×	associate-+l-
71×	sum-log
66×	pow1/2
63×	+-commutative
56×	associate--l+
55×	div-sub
53×	tan-quot
51×	associate--l-
37×	difference-of-sqr-1
36×	rem-log-exp
34×	rem-sqrt-square
30×	pow-pow
29×	pow1/3
25×	complex-mul-def
23×	pow-flip
22×	1-exp neg-sub0 rec-exp
21×	associate-+r- log-rec
20×	pow-prod-up
19×	unpow3
16×	inv-pow
14×	pow-sqr neg-log
11×	remove-double-div
10×	exp-to-pow
8×	exp-diff difference-cubes associate--r- distribute-rgt-out exp-sum
7×	pow-plus pow2
6×	sin-cos-mult +.c-commutative distribute-frac-neg distribute-rgt-neg-out
5×	rem-cube-cbrt sqrt-unprod cos-mult
4×	cos-sum sqrt-pow2 associate-+l+.c distribute-rgt-out-- distribute-rgt-out.c complex-add-def sin-mult tan-sum rem-cbrt-cube sin-sum
3×	rem-exp-log unsub-neg rem-square-sqrt
2×	exp-neg frac-2neg.c
1×	diff-atan diff-cos sqr-cos diff-sin