Details

rewrite31.3s (6.5%)

Algorithm

104×	rewrite-expression-head

Calls

314 calls:

2.7s	(cbrt (* (* (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
1.6s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) -6)))
1.4s	(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
1.4s	(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
867.0ms	(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)

Rules

8598×	times-frac
6145×	*-un-lft-identity
5348×	add-sqr-sqrt
4288×	add-cube-cbrt
1681×	add-exp-log
1516×	add-cbrt-cube
1221×	pow1
851×	associate-*r*
791×	associate-/l*
743×	associate-*r/
671×	distribute-lft-out
668×	add-log-exp
554×	sqrt-prod
495×	associate-*l*
494×	prod-exp
446×	cbrt-unprod div-exp
444×	difference-of-squares
404×	frac-times
394×	flip3-- flip--
375×	cbrt-undiv
369×	flip-+ flip3-+
368×	div-inv
364×	cbrt-div
340×	pow-prod-down
314×	insert-posit16
310×	associate-/r/
301×	associate-/r*
281×	associate-*l/
223×	sqrt-div
219×	frac-add
210×	sqrt-pow1
193×	pow-prod-up
185×	distribute-lft-out--
162×	cbrt-prod
149×	sum-log
145×	unswap-sqr
141×	unpow-prod-down
110×	sqr-pow
92×	difference-of-sqr-1
91×	swap-sqr
84×	*-commutative
83×	frac-sub
78×	distribute-rgt-neg-in
77×	exp-neg
75×	associate-/l/
70×	exp-diff pow1/2
69×	neg-sub0
67×	frac-2neg clear-num
66×	sub-neg
65×	log-prod
63×	pow-sqr
58×	distribute-lft-neg-in diff-log
51×	pow-plus
47×	+-commutative
39×	exp-prod
38×	log-pow
37×	pow2
33×	distribute-rgt-in distribute-lft-in
31×	rem-sqrt-square
28×	associate-+l+ log-div
27×	1-exp rec-exp div-sub
23×	cube-unmult un-div-inv
22×	pow1/3
20×	exp-sum
19×	neg-mul-1
15×	pow-exp pow-to-exp
13×	associate-+r+
12×	sqrt-unprod rem-log-exp
11×	associate-+l-
10×	pow-flip
9×	distribute-frac-neg
8×	neg-log inv-pow
7×	distribute-lft-neg-out
6×	associate--l- pow-unpow associate--l+ pow-div rem-exp-log
4×	cube-prod associate--r+ distribute-neg-in
3×	remove-posit16 distribute-rgt-out-- pow3 distribute-rgt-out
2×	distribute-lft1-in sub-div pow-pow exp-to-pow rem-square-sqrt
1×	associate-+r- unpow3 sum-cubes cube-mult rem-cbrt-cube