Details

rewrite17.5s (3.1%)

Algorithm

97×	rewrite-expression-head

Calls

277 calls:

4.0s	(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (fma (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* x1 x1) (* x1 x1)) (* 1 1))) (- (* x1 x1) 1) -3)) (+ (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1)) (* (* -6 x1) x1)) (* (* 0 x1) x1)))
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)))
977.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)))
886.0ms	(+ (log (exp (+ e (+ b (+ d c))))) a)
748.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

5534×	*-un-lft-identity
5363×	times-frac
4734×	add-sqr-sqrt
3629×	add-cube-cbrt
1473×	prod-diff
1237×	add-exp-log
1048×	add-cbrt-cube
971×	pow1
617×	distribute-lft-out
549×	associate-*r*
528×	sqrt-prod
525×	add-log-exp
441×	difference-of-squares
404×	associate-/l*
379×	associate-+l+
371×	associate-*l*
349×	prod-exp
344×	associate-/r*
336×	div-inv
315×	distribute-lft-out--
291×	associate-/r/
289×	div-exp
287×	cbrt-unprod
285×	expm1-log1p-u
277×	log1p-expm1-u insert-posit16
232×	pow-prod-down
215×	cbrt-undiv
202×	flip-+ flip3-+
168×	distribute-rgt-neg-in
134×	pow-prod-up
129×	cbrt-prod
123×	fma-neg
118×	fma-def
117×	sum-log
104×	distribute-rgt-in distribute-lft-in unswap-sqr
94×	associate-*r/
93×	distribute-lft-neg-in
86×	flip3-- flip--
74×	cbrt-div
73×	fma-udef
71×	pow-plus
70×	frac-2neg clear-num
64×	associate-*l/
63×	pow-flip
62×	*-commutative
56×	pow-sqr
54×	frac-times
53×	associate-/l/
46×	exp-prod sub-neg
38×	pow2
37×	diff-log
36×	1-exp rec-exp
35×	swap-sqr
32×	log-pow
31×	associate-+r+ sqrt-div neg-mul-1
30×	div-sub
27×	sqrt-pow1 +-commutative pow1/2 rem-sqrt-square
26×	pow1/3
23×	frac-add
20×	exp-sum
16×	unpow-prod-down
14×	log-prod
13×	inv-pow hypot-def
10×	pow3
8×	pow-div log1p-expm1 distribute-frac-neg log1p-udef
7×	sqr-pow rem-exp-log
6×	neg-sub0
5×	distribute-lft-neg-out
4×	cube-prod associate--l- pow-exp pow-to-exp
3×	expm1-udef pow-unpow cube-unmult neg-log
2×	expm1-log1p associate-+r- un-div-inv rem-cbrt-cube unsub-neg
1×	distribute-lft1-in remove-posit16 exp-diff frac-sub distribute-rgt-out-- unpow3 pow-pow rem-log-exp associate-+l- cube-mult