Details

rewrite16.1s (2.0%)

Algorithm

117×	rewrite-expression-head

Calls

379 calls:

1.1s	(* x (+ (* 1/91125 (* (* (* x x) (* x x)) (* x x))) 1/27))
800.0ms	(/ (* x (+ (* 1/91125 (* (* (* x x) (* x x)) (* x x))) 1/27)) (+ (* 1/3 1/3) (- (* (* (* x x) 1/45) (* (* x x) 1/45)) (* 1/3 (* (* x x) 1/45)))))
541.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* (* (* eps 1/6) (* (* eps b) (* eps b))) b) (+ (* (* (* eps b) (* eps b)) 1/2) (* eps b)))))
429.0ms	(+ (* (* (* eps 1/6) (* (* eps b) (* eps b))) b) (+ (* (* (* eps b) (* eps b)) 1/2) (* eps b)))
350.0ms	(* (* (* (cbrt -1) (cbrt -1)) (+ (+ (* (* 2/9 x) x) 1) (* x 2/3))) (cbrt (- (- -1 (* (* 1/2 x) x)) x)))

Rules

4560×	*-un-lft-identity
3943×	add-sqr-sqrt
3532×	times-frac
2290×	add-cube-cbrt
2258×	pow1
1769×	sqrt-prod
1512×	add-exp-log
1231×	add-cbrt-cube
759×	distribute-lft-out
674×	add-log-exp
663×	associate-*r*
559×	difference-of-squares
554×	pow-prod-up
543×	pow-prod-down
497×	associate-*l*
465×	prod-exp
411×	distribute-lft-out--
395×	cbrt-unprod
392×	cbrt-prod
368×	insert-posit16
341×	associate-/r*
321×	associate-/l*
299×	div-exp
264×	flip-+ flip3-+
261×	div-inv pow-sqr
247×	flip3-- flip--
221×	pow-plus
202×	associate-/r/
194×	sqrt-div
192×	associate-*l/
186×	cbrt-undiv swap-sqr unswap-sqr
172×	frac-times
169×	sqrt-pow1
146×	pow2
145×	log-prod
141×	cbrt-div
132×	associate-*r/
113×	pow-flip
108×	pow1/2 sub-neg
99×	frac-add
96×	*-commutative
95×	diff-log
93×	exp-prod
89×	log-pow
78×	pow-unpow
70×	associate-/l/
67×	sum-log
64×	frac-2neg clear-num
54×	unpow-prod-down
53×	1-exp rec-exp
49×	pow1/3
40×	distribute-rgt-in distribute-lft-in
39×	+-commutative
35×	tan-quot
30×	difference-of-sqr-1
27×	sqr-pow inv-pow rem-sqrt-square
24×	pow-div
22×	frac-sub
20×	log-div
17×	associate--l+ div-sub
16×	associate-+r+
15×	distribute-rgt-out--
13×	distribute-rgt-neg-in rem-log-exp complex-mul-def
10×	pow-exp associate--r+ pow-to-exp
9×	associate-+l+
8×	associate--l-
7×	pow3
6×	exp-sum pow-pow
5×	sin-sum sqrt-unprod
4×	exp-diff cube-unmult sin-mult distribute-rgt-out distribute-rgt1-in
3×	neg-sub0 associate-+r- *.c-commutative neg-log sub-div sum-cubes un-div-inv +.c-commutative sqr-sin rem-square-sqrt
2×	associate-*l*.c sin-cos-mult exp-to-pow associate-+l- cos-sum tan-sum complex-add-def
1×	distribute-lft-neg-out diff-atan sub0-neg frac-2neg-c rem-exp-log associate-+l+.c diff-sin rem-cbrt-cube diff-cos