Details

rewrite15.3s (10.0%)

Algorithm

117×	rewrite-expression-head

Calls

350 calls:

1.1s	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
710.0ms	(* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0)))
609.0ms	(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
597.0ms	(- (exp (+ (* (+ (* 0.5 (/ 1 y)) (+ (* 2.0 y) (fabs (- y (sqrt (+ (pow y 2) 1.0)))))) (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0)))))) (pow (pow 10.0 -300.0) (* 10000.0 (+ y 1.0))))) 1.0)
596.0ms	(- (exp (+ (* (+ (* 0.5 (/ 1 y)) (+ (* 2.0 y) (fabs (- y (sqrt (+ (pow y 2) 1.0)))))) (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0)))))) (pow (pow 10.0 -300.0) (* 10000.0 (+ y 1.0))))) 1.0)

Rules

6715×	times-frac
5446×	*-un-lft-identity
5102×	add-sqr-sqrt
3279×	add-cube-cbrt
1615×	add-exp-log
1238×	add-cbrt-cube
863×	add-log-exp
802×	associate-*l*
761×	associate-*r/
715×	unpow-prod-down
695×	difference-of-squares
678×	pow1
669×	associate-*r*
642×	distribute-lft-out
585×	associate-/r*
500×	flip3-- flip--
492×	distribute-lft-out--
487×	div-exp
406×	prod-exp
382×	div-inv
378×	associate-/r/
377×	associate-/l*
363×	sqrt-prod
322×	cbrt-div
313×	frac-times
306×	cbrt-unprod
291×	sqr-pow
282×	cbrt-undiv
256×	flip-+ flip3-+
193×	associate-*l/
183×	sum-log
180×	cbrt-prod frac-add
162×	unswap-sqr
157×	unpow2
148×	distribute-rgt-neg-in
137×	sub-neg
134×	pow-prod-down
126×	distribute-lft-neg-in
123×	cube-prod
115×	diff-log
90×	associate-/l/
75×	sqrt-div
68×	*-commutative
66×	distribute-rgt-in clear-num frac-2neg distribute-lft-in
56×	pow-to-exp pow-exp
52×	log-prod
48×	+-commutative
46×	rem-sqrt-square
45×	1-exp rec-exp sqrt-pow1
44×	swap-sqr
42×	neg-mul-1
41×	pow1/2
33×	associate-+r+
29×	pow1/3
28×	div-sub
27×	frac-sub
25×	associate-+l+
24×	associate--l+
19×	pow-unpow
18×	pow-prod-up log-pow log-div
13×	unpow3 cube-mult pow-plus
12×	pow-sqr neg-sub0
9×	neg-log un-div-inv pow2
8×	associate--l- rem-log-exp
7×	pow-pow
6×	cube-div difference-cubes pow-flip
5×	inv-pow distribute-frac-neg exp-prod associate--r+
4×	associate-+r- exp-sum rem-cbrt-cube
3×	distribute-lft-neg-out unsub-neg
2×	exp-diff distribute-rgt-out sum-cubes
1×	rem-cube-cbrt rem-exp-log distribute-lft1-in sqrt-unprod pow3 distribute-rgt-out-- sub-div rem-square-sqrt associate--r- associate-+l- exp-to-pow