Details

rewrite13.4s (3.8%)

Algorithm

147×	rewrite-expression-head

Calls

515 calls:

429.0ms	(log (+ (/ 1.0 x) (/ (sqrt (sqrt (- 1.0 (* x x)))) (/ x (sqrt (sqrt (- 1.0 (* x x))))))))
283.0ms	(/ (/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x))))))
246.0ms	(* (/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (/ 1 (* 3.0 a)))
213.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
205.0ms	(log (exp (- (* (/ x0 (- 1.0 x1)) (* (/ (sqrt x0) (sqrt (- 1.0 x1))) (/ (sqrt x0) (sqrt (- 1.0 x1))))) (* x0 x0))))

Rules

9472×	times-frac
7075×	*-un-lft-identity
6905×	add-sqr-sqrt
5570×	associate-*r/
4960×	add-cube-cbrt
3308×	add-exp-log
2707×	frac-times
2571×	flip--
2570×	flip3--
2397×	frac-add
2261×	flip-+
2260×	flip3-+
2206×	sqrt-div
2078×	add-cbrt-cube
2074×	sqrt-prod
2001×	associate-/r/
1685×	associate-*l/
1233×	frac-sub
1108×	prod-exp
1092×	associate-/l*
1063×	div-exp
1022×	pow1
935×	associate-*r*
828×	add-log-exp
797×	difference-of-squares
678×	distribute-lft-out--
595×	associate-/r*
541×	associate-*l*
538×	cbrt-unprod
515×	cbrt-undiv
451×	unpow-prod-down
447×	cbrt-prod
428×	distribute-rgt-neg-in
423×	div-inv
364×	distribute-lft-out
338×	cube-prod
326×	pow-exp
296×	cbrt-div
230×	pow-to-exp
207×	distribute-lft-neg-in
199×	unswap-sqr pow-prod-down
180×	neg-mul-1
143×	associate-/l/
142×	sqr-pow
134×	sub-neg
130×	clear-num frac-2neg
124×	log-prod
123×	swap-sqr
112×	1-exp
106×	*-commutative
103×	diff-log
83×	rec-exp
80×	unpow3 cube-mult
72×	pow1/3
63×	sum-log
62×	distribute-rgt-in distribute-lft-in
61×	div-sub
58×	pow1/2 sqrt-pow1
57×	pow-unpow log-pow
56×	sum-cubes
53×	associate--l+
46×	cube-div
44×	sin-mult
42×	+-commutative
34×	exp-prod
31×	rem-sqrt-square neg-sub0 log-div
30×	sin-cos-mult
29×	pow-prod-up pow-pow
28×	associate-+l-
27×	distribute-rgt-out
25×	pow-sqr
22×	associate-+r+
20×	tan-quot distribute-neg-frac
19×	rem-cube-cbrt
17×	rem-log-exp sin-diff
16×	cos-diff neg-log
15×	distribute-frac-neg cos-sum
14×	pow-plus associate--l- pow2
12×	pow-flip
8×	acos-asin distribute-rgt-neg-out associate--r+
7×	inv-pow associate-+r-
6×	rem-cbrt-cube
5×	distribute-lft1-in sqrt-unprod sin-sum associate-+l+
4×	cos-mult
3×	acos-neg sin-neg associate--r- exp-sum exp-to-pow
2×	un-div-inv sub0-neg rem-exp-log unpow1/3 unpow2 rem-square-sqrt asin-acos
1×	exp-diff difference-cubes unsub-neg sub-div tanh-undef cube-neg tanh-def mul-1-neg