Details

rewrite41.0s (2.6%)

Algorithm

141×	rewrite-expression-head

Calls

438 calls:

1.7s	(cbrt (* (* (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))) (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
1.3s	(- (- (/ 0.125 (* x (* x x))) (/ 0.5 x)) (/ 0.0625 (pow x 5)))
1.1s	(/ (- (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (* (* (* x y) (* x y)) (* x y))) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))))
885.0ms	(cbrt (* (* (* -1.5 (* -1.5 -1.5)) (/ a (* (/ b a) (/ b a)))) (/ (* c (* c c)) b)))
875.0ms	(* (* (* -1.5 (* -1.5 -1.5)) (/ a (* (/ b a) (/ b a)))) (/ (* c (* c c)) b))

Rules

12098×	*-un-lft-identity
10346×	times-frac
9346×	add-sqr-sqrt
7031×	add-cube-cbrt
4959×	prod-diff
2846×	add-exp-log
2157×	add-cbrt-cube
1840×	sqrt-prod
1639×	distribute-lft-out
1089×	prod-exp
1040×	pow1
987×	difference-of-squares
907×	distribute-lft-out--
815×	div-exp associate-/r/
733×	cbrt-unprod
667×	div-inv
647×	add-log-exp
562×	associate-*r*
520×	cbrt-undiv
509×	fma-neg
461×	associate-/l*
442×	expm1-log1p-u
439×	log1p-expm1-u
438×	insert-posit16
414×	associate-*l*
404×	flip-+
403×	flip3-+
389×	flip--
388×	flip3--
348×	associate-/r*
286×	frac-times
265×	pow-exp
217×	pow-prod-down
213×	log-prod
202×	cbrt-div
197×	distribute-rgt-in distribute-lft-in
185×	pow-to-exp
183×	associate-*r/
180×	fma-def
161×	associate--l+
154×	cbrt-prod
144×	associate-*l/
136×	sqrt-div
132×	unswap-sqr
124×	distribute-rgt-neg-in
111×	distribute-lft-neg-in
104×	unpow-prod-down
98×	*-commutative
94×	frac-2neg clear-num
93×	swap-sqr
89×	sub-neg
82×	log-pow
76×	associate-/l/
75×	frac-sub
66×	diff-log
55×	cos-sum
52×	frac-add
48×	pow-prod-up
38×	sum-log div-sub
37×	neg-mul-1
36×	sqrt-pow1 pow1/2 rem-sqrt-square
35×	log-div
34×	pow-sqr
33×	exp-prod
30×	pow-plus
28×	+-commutative
27×	fma-udef
26×	sqr-pow
25×	pow1/3 pow2
24×	rem-log-exp
22×	sin-sum
21×	1-exp rec-exp
18×	sin-diff
15×	tan-quot
12×	neg-sub0 pow3 sin-mult
11×	sin-cos-mult associate--r+
10×	associate-+l-
9×	cos-diff
8×	acos-asin
7×	associate--l- neg-log
6×	pow-flip cos-mult pow-unpow exp-to-pow rem-exp-log
5×	log1p-expm1 rem-cbrt-cube log1p-udef
4×	expm1-log1p expm1-udef exp-diff difference-cubes inv-pow
3×	distribute-frac-neg un-div-inv asin-acos
2×	sqrt-undiv exp-sum pow-pow associate--r- distribute-rgt-out
1×	cube-unmult distribute-rgt-neg-out sqrt-unprod tanh-undef tanh-def sqr-sin hypot-udef distribute-rgt-out-- sqr-cos +-inverses