Details

rewrite25.9s (5.7%)

Algorithm

106×	rewrite-expression-head

Calls

324 calls:

1.4s	(+ (+ (* x (* x x)) (* -1/2 (* (* x (* x x)) (* x (* x x))))) (* (pow x 9) 1/3))
1.1s	(+ (+ (+ (* 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)))
989.0ms	(* x1 (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
742.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)))
734.0ms	(+ (* (* (* 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))) 6)))

Rules

4713×	frac-times
3318×	flip-+ flip3-+
3294×	*-un-lft-identity
3239×	add-sqr-sqrt
3036×	times-frac
1977×	pow1
1887×	add-cube-cbrt
1824×	add-exp-log
1724×	add-cbrt-cube
1490×	associate-*r/
1481×	associate-*l/
881×	cbrt-div
823×	associate-*r*
776×	add-log-exp
672×	prod-exp
656×	difference-of-squares
632×	cbrt-unprod
542×	associate-*l*
521×	pow-prod-down
458×	pow-prod-up
389×	div-exp
373×	distribute-lft-out
341×	cbrt-undiv
328×	sqrt-prod
324×	insert-posit16
271×	associate-/l*
244×	associate-/r*
228×	distribute-lft-out-- unpow-prod-down
226×	flip3-- flip--
223×	div-inv
205×	pow-plus
199×	pow-sqr
197×	associate-/r/
196×	sqr-pow
190×	cbrt-prod
185×	sum-log
183×	difference-of-sqr-1
127×	sqrt-div
126×	pow2
122×	unswap-sqr
121×	sub-neg
113×	exp-prod
104×	frac-add
100×	distribute-rgt-neg-in
95×	exp-sum
94×	*-commutative
91×	distribute-lft-neg-in
87×	swap-sqr
86×	diff-log
71×	distribute-rgt-in distribute-lft-in
69×	associate-/l/
67×	log-prod
60×	frac-2neg clear-num log-pow
49×	+-commutative
41×	associate--l+
34×	sqrt-pow1
33×	pow1/2
31×	neg-mul-1 rem-sqrt-square
27×	frac-sub
25×	associate-+l+
23×	pow1/3
21×	1-exp rec-exp
17×	div-sub log-div
16×	associate-+r+
15×	rem-exp-log
13×	pow-exp pow-to-exp
9×	associate--l- pow-flip pow3 inv-pow
8×	distribute-rgt-out-- pow-div rem-log-exp
7×	exp-diff difference-of-sqr--1 distribute-frac-neg associate--r+ distribute-lft-neg-out
6×	neg-sub0 pow-unpow sub-div
4×	neg-log un-div-inv
3×	exp-to-pow associate-+l- associate--r- distribute-rgt-out
2×	distribute-lft1-in remove-posit16 cube-unmult pow-pow rem-cbrt-cube
1×	unsub-neg e-exp-1