Details

rewrite15.4s (6.0%)

Algorithm

121×	rewrite-expression-head

Calls

384 calls:

687.0ms	(* (+ (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))) (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))))
670.0ms	(* (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))) (- (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1.0 (sqrt (+ x 1.0))))))
377.0ms	(- (pow (sqrt (/ 1.0 (sqrt x))) 3) (pow (sqrt (/ 1.0 (sqrt (+ x 1.0)))) 3))
366.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
240.0ms	(/ (/ 1 (/ (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a)) c)) (cbrt a))

Rules

36419×	times-frac
29951×	*-un-lft-identity
28084×	sqrt-prod
27333×	add-sqr-sqrt
22262×	add-cube-cbrt
14237×	prod-diff
4585×	unpow-prod-down
3597×	cube-prod
3458×	cbrt-prod
2196×	difference-of-squares
1979×	distribute-lft-out--
1918×	distribute-lft-out
1559×	distribute-rgt-in distribute-lft-in
1317×	div-inv
1175×	add-exp-log
1096×	associate-/r/
1056×	associate-/l*
867×	distribute-rgt-neg-in
852×	add-cbrt-cube
777×	sqrt-div
743×	fma-neg
702×	pow1
694×	add-log-exp
616×	log-prod
528×	associate-*r*
510×	sqr-pow
495×	associate-*l*
458×	flip-+ flip3-+
371×	expm1-log1p-u
369×	log1p-expm1-u
357×	associate-/r*
342×	flip-- flip3--
298×	distribute-lft-neg-in
294×	div-exp
256×	swap-sqr
247×	associate-+l+
238×	prod-exp
163×	cbrt-undiv
162×	unswap-sqr
150×	associate-*l/
143×	sub-neg diff-log
139×	unpow3 cube-mult
136×	cbrt-unprod
114×	log-pow
102×	neg-mul-1
99×	frac-times
86×	pow-prod-down exp-prod
79×	fma-def
74×	unpow2
68×	tan-quot
62×	pow1/3
61×	frac-2neg clear-num
59×	associate-*r/
57×	associate-/l/ pow-unpow
55×	exp-sum
50×	*-commutative
49×	cbrt-div
48×	sqrt-pow1
46×	pow1/2
40×	rec-exp 1-exp
38×	pow-exp
37×	pow-to-exp rem-log-exp
34×	log-div
31×	pow-pow
29×	frac-sub
26×	rem-sqrt-square pow-prod-up neg-sub0
24×	div-sub complex-mul-def
23×	cube-div
22×	pow-sqr
21×	sum-log
19×	fma-udef associate--l-
17×	frac-add
16×	neg-log associate--l+
13×	+-commutative
12×	exp-diff pow-flip
11×	rem-cube-cbrt pow-plus
10×	pow2
8×	inv-pow distribute-rgt-out--
6×	un-div-inv *.c-commutative associate-+l-
5×	rem-exp-log exp-neg difference-of-sqr-1 associate--r+
4×	expm1-def +.c-commutative complex-add-def hypot-def sin-mult cos-mult
3×	sub-div expm1-udef associate--r-
2×	associate-+l+.c sqrt-pow2 log1p-udef sqrt-unprod log1p-expm1 pow-sub rem-square-sqrt tan-sum cos-sum associate-*l*.c pow-neg exp-to-pow sin-sum
1×	sin-cos-mult rem-cbrt-cube difference-cubes sum-cubes associate-+r- diff-atan distribute-neg-in associate-+r+ diff-cos unsub-neg frac-2neg.c diff-sin