Details

rewrite15.5s

Algorithm

134×	rewrite-expression-head

Calls

433 calls:

Slowest

510.0ms	(+ x (+ (+ (/ -1/8 (* (* x x) x)) x) (/ 1/2 x)))
480.0ms	(* (/ (exp a) (+ (* (exp b) (* (exp b) (exp b))) (* (* (exp a) (exp a)) (exp a)))) (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))
385.0ms	(* (* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))
322.0ms	(* (- (/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
318.0ms	(log (+ x (+ (+ (/ -1/8 (* (* x x) x)) x) (/ 1/2 x))))

Rules

4469×	add-sqr-sqrt
4403×	*-un-lft-identity
3969×	times-frac
3274×	add-exp-log
2727×	add-cube-cbrt
1779×	add-cbrt-cube
1435×	pow1
1305×	prod-exp
1103×	div-exp
751×	difference-of-squares
736×	sqrt-prod
702×	pow-exp
638×	add-log-exp
620×	associate-*l*
608×	associate-*r*
584×	cbrt-prod
583×	associate-*l/
571×	flip--
570×	flip3--
566×	sqrt-div
528×	frac-times
499×	cbrt-unprod
433×	insert-posit16
423×	associate-/r*
404×	associate-/l*
395×	cbrt-undiv
380×	distribute-lft-out--
354×	pow-to-exp
325×	associate-*r/
310×	frac-add
304×	distribute-lft-out
297×	pow-prod-down
282×	flip-+ div-inv
281×	flip3-+
251×	swap-sqr
242×	log-prod
189×	associate-/r/
184×	pow-prod-up
182×	unswap-sqr
178×	1-exp rec-exp
177×	unpow-prod-down
136×	difference-of-sqr-1
121×	log-pow
118×	exp-prod
116×	cbrt-div
114×	pow-sqr
113×	*-commutative
104×	tan-quot
102×	frac-2neg clear-num
98×	sub-neg
96×	sqrt-pow1
94×	cube-prod
90×	pow-plus
88×	associate--l+
84×	log-div
80×	distribute-rgt-in distribute-lft-in
78×	pow1/2
65×	pow2
63×	sqr-pow
60×	associate-/l/
59×	diff-log
52×	pow-flip
50×	sum-log
47×	associate-+l+
44×	rem-sqrt-square
43×	pow1/3 inv-pow
38×	cos-mult
34×	+-commutative
29×	distribute-rgt-neg-in
27×	rem-log-exp
24×	associate-+r+
23×	pow-pow
22×	div-sub
15×	pow-unpow
14×	sum-cubes
12×	exp-sum
11×	associate--r+
10×	pow3 sin-mult cos-diff
9×	cos-sum distribute-rgt-out
8×	associate--l- frac-sub cube-unmult
7×	exp-diff un-div-inv acos-asin
6×	sin-sum sqrt-unprod associate-+l- associate--r-
5×	difference-cubes
4×	remove-posit16
3×	distribute-frac-neg acos-neg distribute-lft-neg-in distribute-rgt1-in
2×	rem-cube-cbrt unpow3 distribute-rgt-out-- rem-square-sqrt cube-div cube-mult
1×	neg-sub0 neg-mul-1 tanh-undef tanh-def sin-PI/3 exp-to-pow exp-neg asin-acos rem-exp-log rem-cbrt-cube sin-diff