Details

rewrite21.2s (5.2%)

Algorithm

104×	rewrite-expression-head

Calls

353 calls:

3.1s	(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (* (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z)))) (cbrt (cbrt (- (+ t 1.0) z)))))) (- x))
1.2s	(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
1.0s	(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
734.0ms	(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
538.0ms	(+ (+ (- (+ (log (+ x y)) (* 2 (log (sqrt z)))) t) (* (- a 0.5) (* 2 (log (cbrt t))))) (* (log (cbrt t)) (- a 0.5)))

Rules

3147×	add-exp-log
3142×	add-sqr-sqrt
3031×	*-un-lft-identity
2365×	times-frac
2012×	add-cube-cbrt
1808×	prod-exp
1420×	add-cbrt-cube
875×	pow1
769×	associate-*r*
749×	associate-*l*
681×	cbrt-prod
579×	cbrt-unprod
564×	add-log-exp
507×	div-exp
428×	sqrt-prod
355×	flip3-- flip--
342×	difference-of-squares
337×	distribute-rgt-neg-in
330×	pow-exp
328×	distribute-lft-out--
325×	distribute-lft-neg-in
323×	pow-to-exp
282×	associate-/r*
252×	cbrt-undiv
240×	pow-prod-down
238×	associate-*r/
225×	associate-/l*
213×	unpow-prod-down
209×	distribute-lft-out
203×	unswap-sqr
202×	frac-times
200×	associate-*l/
182×	frac-sub
140×	cube-prod
139×	distribute-rgt-in sub-neg distribute-lft-in
133×	associate-/r/ div-inv
131×	flip-+ flip3-+
130×	*-commutative
129×	log-prod
117×	sqrt-div
94×	neg-mul-1
85×	cbrt-div
75×	swap-sqr
73×	associate-+r+
70×	sum-log
69×	frac-add
61×	clear-num frac-2neg
58×	associate-/l/
56×	diff-log
55×	tan-quot
50×	pow1/3 sqrt-pow1
49×	pow1/2
46×	associate-+l+
44×	sqr-pow
41×	log-pow
40×	exp-prod
39×	pow-unpow rem-sqrt-square
32×	1-exp rec-exp
28×	+-commutative associate--r+
25×	distribute-neg-frac
24×	sin-mult cos-mult
21×	associate-+l-
18×	cube-div associate--l+
15×	exp-sum
13×	pow-pow unpow-prod-up
12×	sub-div
11×	rem-exp-log pow-prod-up log-div
10×	unpow2 div-sub
9×	pow-sqr neg-sub0 distribute-rgt-neg-out
7×	neg-log exp-diff pow-flip
6×	rem-cube-cbrt unpow3 inv-pow cube-mult
5×	pow-plus distribute-lft-neg-out sum-cubes pow2
4×	distribute-neg-in pow-sub
3×	un-div-inv unsub-neg distribute-frac-neg rem-cbrt-cube
2×	e-exp-1 sqrt-unprod cos-sum tan-sum cube-neg rem-log-exp associate--l-
1×	pow-neg quot-tan exp-neg rem-square-sqrt acos-asin associate-+r-