Details

rewrite14.6s

Algorithm

119×	rewrite-expression-head

Calls

389 calls:

Slowest

661.0ms	(/ (+ (* 1/60 (* (* x (* x x)) (* x x))) (+ (* 1/3 (* x (* x x))) (* 2 x))) (/ 2 (sin y)))
402.0ms	(* (+ (* (/ (* (* x x) x) 91125) (* (* x x) x)) 1/27) (/ x (+ 1/9 (* (- (/ (* x x) 45) 1/3) (/ (* x x) 45)))))
374.0ms	(- (exp (+ (* (+ b a) eps) (+ (* (+ b a) eps) (* (+ b a) eps)))) 1)
373.0ms	(* (* (* (* a x) (* a x)) (* a x)) 1/6)
343.0ms	(* (* (* (* eps a) (* eps a)) a) eps)

Rules

6469×	times-frac
5932×	*-un-lft-identity
4911×	add-sqr-sqrt
3625×	add-cube-cbrt
2714×	sqrt-prod
1459×	add-exp-log
1321×	pow1
1294×	add-cbrt-cube
822×	distribute-lft-out
663×	add-log-exp
572×	associate-/l*
503×	associate-*l*
467×	difference-of-squares
461×	prod-exp
416×	cbrt-unprod
406×	associate-*r*
403×	pow-prod-down
377×	insert-posit16
358×	distribute-lft-out--
345×	associate-/r*
286×	associate-/r/
264×	div-inv
247×	div-exp
243×	flip-+
242×	flip3-+
218×	flip--
217×	flip3-- sqrt-div
210×	associate-*l/
209×	log-prod
180×	cbrt-undiv
136×	unswap-sqr
123×	pow-prod-up
122×	cbrt-prod
101×	sub-neg
100×	exp-prod
98×	diff-log
91×	sqrt-pow1
87×	*-commutative
81×	pow-unpow
77×	frac-times
75×	pow1/2
74×	associate-/l/
73×	log-pow
69×	frac-2neg clear-num pow-sqr
64×	frac-add
63×	associate-*r/
58×	unpow-prod-down
57×	pow-plus
56×	tan-quot
53×	sum-log
51×	swap-sqr
40×	1-exp
39×	rec-exp
37×	+-commutative
36×	rem-sqrt-square log-div
35×	pow1/3 cbrt-div difference-of-sqr-1
34×	frac-sub pow2
33×	pow-flip
29×	distribute-rgt-in distribute-lft-in
27×	associate--l+
25×	associate-+r+ sqr-pow
22×	associate--r+
21×	rem-log-exp
19×	associate-+l+ inv-pow
18×	div-sub
15×	associate--l-
13×	distribute-rgt-neg-in complex-mul-def
10×	neg-sub0 pow-exp pow-to-exp
9×	pow-pow
8×	associate-+l-
7×	un-div-inv
6×	pow-div exp-diff distribute-lft1-in neg-log distribute-rgt-out
5×	sin-sum pow3 sqrt-unprod exp-to-pow distribute-rgt-out--
4×	exp-sum exp-neg sin-mult
3×	sin-cos-mult *.c-commutative log-rec sub-div sqr-sin +.c-commutative cube-unmult rem-exp-log
2×	associate-*l*.c tan-sum frac-2neg-c rem-square-sqrt cos-sum complex-add-def
1×	diff-atan cos-mult associate-+r- sqrt-pow2 +-inverses associate-+l+.c diff-sin rem-cbrt-cube diff-cos unsub-neg associate--r-