Details

rewrite27.3s

Algorithm

103×	rewrite-expression-head

Calls

321 calls:

Slowest

1.6s	(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) x1) (* 2 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.2s	(+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) x1) (* 2 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))))))
1.1s	(cbrt (+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) x1) (* 2 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))))
1.1s	(cbrt (+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) x1) (* 2 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))))
1.1s	(cbrt (+ (* (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 4 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))) 6)) (* x1 x1))) (* (* (- (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1))) 3) x1) (* 2 (/ (+ (- (* (* 3 x1) x1) x1) (* x2 2)) (+ 1 (* x1 x1)))))))

Rules

17725×	times-frac
11917×	*-un-lft-identity
10314×	add-sqr-sqrt
7236×	add-cube-cbrt
3570×	add-exp-log
1961×	add-cbrt-cube
1826×	cbrt-div
1693×	associate-*l/
1356×	difference-of-squares
1348×	div-exp
1329×	prod-exp
1298×	pow1
1279×	associate-/l*
1195×	distribute-lft-out
1161×	flip3-- flip--
1079×	distribute-lft-out--
1060×	frac-times
871×	associate-*r/
819×	add-log-exp
790×	associate-*l*
691×	associate-*r*
680×	frac-add
656×	div-inv
642×	cbrt-unprod
535×	cbrt-undiv
468×	sqrt-prod
443×	associate-/r*
386×	associate-/r/
376×	pow-prod-down
321×	insert-posit16
253×	1-exp
252×	flip-+ flip3-+
223×	rec-exp
214×	sum-log
197×	unpow-prod-down
160×	pow-prod-up
132×	unswap-sqr
131×	sqr-pow
98×	difference-of-sqr-1
96×	sqrt-div
94×	sqrt-pow1
92×	*-commutative
84×	swap-sqr sub-neg
80×	pow-sqr
79×	diff-log
69×	frac-2neg clear-num
68×	exp-prod
64×	log-pow
63×	pow-plus
58×	associate-/l/
54×	distribute-rgt-in distribute-lft-in
50×	+-commutative pow1/2
45×	pow2
44×	pow-flip
41×	distribute-rgt-neg-in
40×	rem-sqrt-square
33×	distribute-lft-neg-in
26×	log-prod
25×	associate-+r+
23×	associate-+l+
17×	exp-to-pow
16×	div-sub
15×	inv-pow cbrt-prod
14×	pow-unpow rem-exp-log
13×	distribute-rgt-out--
11×	frac-sub neg-mul-1
10×	exp-sum
9×	associate--l+ associate--r+
8×	difference-of-sqr--1 pow-exp pow-div pow-to-exp rem-log-exp
7×	distribute-lft-neg-out associate--l-
6×	cube-unmult
5×	pow-pow associate-+l-
4×	neg-sub0 pow1/3 distribute-frac-neg sub-div
3×	distribute-lft1-in pow3 neg-log un-div-inv associate--r- distribute-rgt-out log-div
2×	exp-diff
1×	sqrt-undiv remove-double-div sqrt-unprod rem-square-sqrt rem-cbrt-cube distribute-rgt1-in