Details

rewrite37.4s

Algorithm

119×	rewrite-expression-head

Calls

385 calls:

Slowest

12.0s	(/ (+ (* (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)) (* (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)) (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)))) (* (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))) 1/8)) (+ (* (+ (* (* (* a x) (* (* a x) (* a x))) 1/6) (* a x)) (+ (* (* (* a x) (* (* a x) (* a x))) 1/6) (* a x))) (* (* (* (* a x) 1/2) (* a x)) (- (* (* (* a x) 1/2) (* a x)) (+ (* (* (* a x) (* (* a x) (* a x))) 1/6) (* a x))))))
4.7s	(+ (* (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)) (* (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)) (+ (* (* 1/6 (* (* a x) (* a x))) (* a x)) (* a x)))) (* (* (* (* (* a x) (* a x)) (* (* a x) (* a x))) (* (* a x) (* a x))) 1/8))
3.6s	(* (+ (+ (* eps (* (* 1/6 a) (* (* a eps) (* a eps)))) (* a eps)) (* 1/2 (* (* a eps) (* a eps)))) (- (exp (* b eps)) 1))
1.2s	(+ (+ (* eps (* (* 1/6 a) (* (* a eps) (* a eps)))) (* a eps)) (* 1/2 (* (* a eps) (* a eps))))
835.0ms	(/ (* x (+ 1/27 (* (* 1/91125 (* x x)) (* (* x x) (* x x))))) (+ (* 1/3 1/3) (- (* (* 1/45 (* x x)) (* 1/45 (* x x))) (* 1/3 (* 1/45 (* x x))))))

Rules

4594×	*-un-lft-identity
4093×	add-sqr-sqrt
4051×	times-frac
2684×	add-cube-cbrt
1527×	add-exp-log
1437×	pow1
1345×	add-cbrt-cube
1079×	sqrt-prod
789×	associate-*l*
698×	associate-*r*
674×	distribute-lft-out
643×	add-log-exp
635×	cbrt-prod
492×	prod-exp
443×	difference-of-squares
439×	cbrt-unprod
431×	pow-prod-down
373×	insert-posit16
330×	associate-/l*
299×	associate-/r*
282×	div-exp
276×	distribute-lft-out--
244×	swap-sqr
242×	flip-+ flip3-+
236×	associate-/r/ associate-*l/
224×	flip3-- flip--
216×	div-inv
211×	unswap-sqr
206×	cbrt-undiv
195×	exp-prod
194×	log-prod
180×	sqrt-div
169×	pow-prod-up
166×	frac-times
131×	unpow-prod-down associate-*r/
111×	pow-sqr
110×	*-commutative
103×	sub-neg
100×	log-pow
93×	diff-log
73×	sqr-pow distribute-rgt-neg-in
65×	pow-plus
63×	sqrt-pow1 frac-2neg clear-num pow1/2
61×	associate-/l/
60×	tan-quot
59×	pow1/3
57×	frac-add
55×	pow-unpow
52×	pow2
50×	sum-log
48×	distribute-lft-neg-in
44×	distribute-rgt-in distribute-lft-in
42×	cbrt-div
41×	difference-of-sqr-1
37×	1-exp rec-exp
36×	pow-flip
30×	+-commutative neg-mul-1
24×	rem-log-exp log-div
23×	distribute-rgt-out
21×	rem-sqrt-square
17×	div-sub
16×	associate-+l+ associate--l+
15×	frac-sub
14×	inv-pow
13×	complex-mul-def
10×	pow-exp pow-pow exp-to-pow
9×	pow-to-exp associate--r+
7×	neg-sub0 distribute-lft1-in
6×	associate--l-
5×	sin-sum
4×	associate-+r+ distribute-frac-neg sqrt-unprod sin-mult rem-exp-log
3×	exp-diff exp-sum cube-unmult *.c-commutative neg-log sqr-sin +.c-commutative distribute-rgt-out-- associate-+l-
2×	associate-*l*.c pow3 tan-sum frac-2neg-c exp-neg complex-add-def rem-square-sqrt cos-sum rem-cbrt-cube e-exp-1 distribute-rgt1-in
1×	remove-posit16 diff-atan cos-mult sin-cos-mult sub0-neg sub-div un-div-inv associate-+l+.c diff-sin diff-cos