Details

rewrite46.6s (10.4%)

Algorithm

97×	rewrite-expression-head

Calls

286 calls:

6.0s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
5.7s	(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
5.6s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
5.2s	(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
5.1s	(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

Rules

3178×	add-sqr-sqrt
3173×	*-un-lft-identity
3112×	times-frac
1823×	add-cube-cbrt
1689×	add-exp-log
1588×	cbrt-div
1467×	add-cbrt-cube
1446×	associate-*r/
1132×	frac-times
1012×	pow1
1009×	flip3-- flip--
856×	associate-*r*
691×	add-log-exp
638×	prod-exp
604×	cbrt-unprod
580×	frac-add
565×	associate-*l*
562×	associate-*l/
544×	sqrt-prod
533×	difference-of-squares
379×	flip-+ flip3-+
360×	div-exp
348×	distribute-lft-out
323×	cbrt-undiv
290×	pow-prod-down
286×	insert-posit16
279×	distribute-lft-out--
233×	associate-/l*
226×	div-inv
215×	associate-/r/
208×	associate-/r*
188×	sum-log
154×	cbrt-prod
136×	unpow-prod-down
133×	sqrt-div
121×	unswap-sqr
109×	sqr-pow
95×	distribute-rgt-neg-in
94×	frac-sub
92×	pow-prod-up
89×	difference-of-sqr-1
87×	distribute-lft-neg-in
86×	*-commutative
81×	exp-neg
74×	sub-neg
68×	swap-sqr
66×	exp-diff
65×	neg-sub0 associate-/l/
57×	diff-log
52×	+-commutative pow-sqr
49×	pow-plus
45×	frac-2neg clear-num
40×	sqrt-pow1
38×	distribute-rgt-in distribute-lft-in
37×	associate-+r+ exp-prod
33×	pow2
31×	log-prod
27×	pow1/3 neg-mul-1 log-pow
26×	pow1/2 rem-sqrt-square
24×	un-div-inv
18×	associate-+l+
17×	1-exp rec-exp
15×	exp-sum
12×	pow3
11×	pow-exp pow-to-exp div-sub
9×	distribute-rgt-neg-out associate--l+
8×	pow-div distribute-neg-frac distribute-rgt-out
7×	pow-flip difference-of-sqr--1 distribute-rgt-out-- inv-pow log-div
6×	distribute-lft1-in
5×	associate--l- rem-log-exp rem-exp-log
4×	associate-+r- cube-unmult neg-log sum-cubes
3×	remove-posit16 pow-unpow distribute-frac-neg unsub-neg
2×	associate--r+ distribute-lft-neg-out rem-cbrt-cube
1×	sub-div pow-pow associate-+l-