Details

rewrite5.4m (41.7%)

Algorithm

104×	rewrite-expression-head

Calls

307 calls:

4.1m	(+ (+ (+ (+ (* (+ (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
38.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)))))) (* (* x1 x1) (- 6)))
5.0s	(+ (+ (* (* (* 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)))
4.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)))
2.2s	(* (+ (/ (/ PI 1) (* (+ a b) (/ a (/ 1 2)))) (- (/ (/ (/ PI (+ a b)) 2) b))) (/ 1 (- b a)))

Rules

15790×	times-frac
9276×	*-un-lft-identity
7745×	add-sqr-sqrt
6960×	add-cube-cbrt
1922×	add-exp-log
1684×	add-cbrt-cube
1319×	pow1
983×	distribute-lft-out
724×	associate-*r*
680×	add-log-exp
641×	div-inv
616×	prod-exp
606×	associate-/r/
592×	associate-/l*
552×	cbrt-unprod
550×	div-exp
498×	associate-/r*
467×	flip-+ flip3-+
411×	cbrt-undiv
406×	associate-*l*
397×	pow-prod-down
349×	difference-of-squares
307×	insert-posit16
233×	sqrt-prod
171×	associate-*r/
170×	sum-log
159×	cbrt-prod
157×	frac-times
148×	flip--
147×	flip3--
144×	pow-prod-up
138×	associate-*l/
133×	distribute-rgt-neg-in
132×	unpow-prod-down
130×	distribute-lft-out--
112×	sqrt-div
110×	distribute-lft-neg-in
108×	swap-sqr unswap-sqr
105×	sqr-pow
97×	difference-of-sqr-1
90×	*-commutative
82×	frac-sub associate-/l/
79×	log-prod
76×	log-pow pow-sqr
74×	exp-neg
69×	neg-sub0 sqrt-pow1
64×	frac-2neg clear-num
63×	exp-prod
60×	exp-diff sub-neg
57×	pow-plus
50×	diff-log
49×	+-commutative pow1/2 frac-add
45×	1-exp
42×	pow2
38×	distribute-rgt-in distribute-lft-in
33×	cbrt-div neg-mul-1
32×	rem-sqrt-square
26×	div-sub
25×	associate-+l+
23×	rec-exp
20×	un-div-inv rem-log-exp log-div
19×	associate-+r+
14×	associate--l+ rem-exp-log
12×	pow-exp pow-to-exp distribute-neg-frac
11×	associate--l- exp-sum neg-log associate--r+
9×	cube-unmult distribute-rgt-neg-out
8×	pow-div
7×	pow-flip inv-pow associate-+l-
6×	pow1/3
5×	distribute-frac-neg unsub-neg
4×	remove-posit16 cube-prod associate-+r- distribute-rgt-out
3×	pow-unpow distribute-lft-neg-out
2×	exp-to-pow associate--r-
1×	distribute-lft1-in pow3 unpow3 sqrt-unprod pow-pow rem-square-sqrt cube-mult distribute-rgt1-in