Details

rewrite22.6s (3.8%)

Algorithm

107×	rewrite-expression-head

Calls

330 calls:

2.4s	(* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2)) (* (* x1 x1) 4)))
2.1s	(+ (* 3 (/ (+ (* x2 -2) (- (* (* x1 x1) 3) x1)) (+ 1 (* x1 x1)))) (* (+ 1 (* x1 x1)) (+ (* (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) (+ (* x1 (* (- (/ (+ (* (* x1 x1) 3) (- (* x2 2) x1)) (+ 1 (* x1 x1))) 3) 2)) (* (* x1 x1) 4))) (+ (* -6 (* x1 x1)) x1))))
1.0s	(+ (+ (* 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)))
757.0ms	(+ (+ (+ (* 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)))
679.0ms	(cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))

Rules

4766×	times-frac
4627×	*-un-lft-identity
4358×	add-sqr-sqrt
3381×	add-exp-log
3240×	add-cbrt-cube
2396×	add-cube-cbrt
1765×	pow1
1500×	prod-exp
1418×	cbrt-unprod
963×	associate-*r*
878×	div-exp
842×	cbrt-undiv
766×	difference-of-squares
651×	add-log-exp
618×	associate-*l*
580×	distribute-lft-out
501×	distribute-lft-out--
454×	pow-prod-down
440×	associate-/l*
420×	frac-times
393×	div-inv
383×	sqrt-prod
366×	flip-+ flip3-+
359×	associate-/r*
337×	associate-*r/
330×	insert-posit16
325×	pow-prod-up
274×	associate-/r/
241×	associate-*l/
195×	flip3-- flip--
186×	cbrt-prod
165×	pow-plus distribute-rgt-neg-in pow-sqr
149×	swap-sqr
139×	unswap-sqr
128×	unpow-prod-down
124×	cbrt-div
118×	sum-log
107×	sqr-pow
104×	pow2 *-commutative
98×	associate-/l/
91×	difference-of-sqr-1 sqrt-div
90×	frac-add
86×	distribute-lft-neg-in frac-sub
81×	sub-neg
78×	exp-neg
77×	exp-prod
71×	frac-2neg clear-num
69×	neg-sub0
67×	diff-log
63×	exp-diff
61×	pow-flip
60×	sqrt-pow1
50×	log-prod
43×	distribute-rgt-in distribute-lft-in
40×	pow1/2
36×	log-pow
34×	div-sub
32×	+-commutative
30×	neg-mul-1
28×	rem-sqrt-square
27×	pow1/3
26×	1-exp rec-exp
25×	un-div-inv
22×	log-div
19×	associate-+r+
15×	associate-+l+
14×	rem-exp-log
12×	pow3
11×	exp-sum associate--l+ rem-log-exp
10×	distribute-lft1-in associate--l-
9×	distribute-lft-neg-out pow-exp pow-to-exp
8×	associate-+r- distribute-frac-neg
7×	difference-of-sqr--1 cube-unmult neg-log
6×	associate--r+ inv-pow remove-posit16
5×	distribute-rgt-out--
4×	cube-prod unsub-neg
3×	pow-unpow exp-to-pow
2×	sum-cubes associate--r-
1×	sqrt-undiv unpow3 sqrt-unprod sub-div cube-mult pow-pow distribute-neg-frac rem-square-sqrt rem-cbrt-cube distribute-rgt-out