Details

rewrite190.0ms

Algorithm

rewrite-expression-head

Rules

59×	add-sqr-sqrt
51×	*-un-lft-identity
28×	times-frac
19×	difference-of-squares
18×	add-cube-cbrt
17×	distribute-lft-out--
12×	log-prod
7×	add-exp-log add-log-exp
6×	pow1 flip3-- add-cbrt-cube flip-- associate--r+
5×	associate-/r* associate-/l*
4×	log-div
3×	associate--r-
2×	sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×	cbrt-undiv frac-2neg div-exp rem-log-exp clear-num div-inv

Counts

4 → 108

Calls

4 calls:

79.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
31.0ms	(/ (- x y) (- 1.0 y))
39.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
33.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))