Details

rewrite12.5s (5.5%)

Algorithm

103×	rewrite-expression-head

Calls

343 calls:

631.0ms	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
564.0ms	(/ (- (* (* (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (cos a)) (+ 1 (* (tan y) (tan z)))) (* (* (cos y) (cos z)) (* (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (sin a)))) (* (* (* (- 1 (/ (* (sin y) (sin z)) (* (cos z) (cos y)))) (cos a)) (* (cos y) (cos z))) (fma (tan y) (tan z) 1)))
450.0ms	(* (sqrt (pow (/ 1 a) 1.0)) (/ x (/ y (/ (sqrt (pow (/ 1 a) 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))
429.0ms	(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
382.0ms	(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

Rules

10111×	times-frac
6862×	*-un-lft-identity
6702×	add-sqr-sqrt
5555×	add-cube-cbrt
1910×	unpow-prod-down
1822×	add-exp-log
1293×	associate-*r*
1114×	add-cbrt-cube
1019×	sqrt-prod
979×	associate-*l/
886×	associate-*r/
862×	prod-diff
786×	prod-exp
749×	pow1
746×	flip-- flip3--
722×	distribute-rgt-neg-in
671×	cbrt-prod
662×	distribute-lft-neg-in
613×	associate-/r*
608×	frac-sub
510×	fma-udef
508×	associate-*l*
500×	frac-times
491×	exp-sum
482×	add-log-exp
360×	div-inv
344×	expm1-log1p-u
343×	log1p-expm1-u
341×	exp-prod
340×	distribute-lft-out--
339×	div-exp
337×	cube-prod
330×	distribute-lft-out
315×	cbrt-unprod
304×	difference-of-squares
286×	sqrt-div
269×	associate-/l*
265×	associate-/l/
229×	distribute-rgt-in distribute-lft-in
208×	flip-+ flip3-+
197×	neg-mul-1
187×	unswap-sqr
185×	cbrt-undiv
183×	sqr-pow
166×	pow-prod-down
165×	pow-exp
148×	fma-neg
140×	pow-to-exp
131×	log-pow
115×	sub-neg
114×	associate-/r/
104×	*-commutative
77×	associate-+l+
74×	associate--r+
68×	clear-num frac-2neg
64×	fma-def
60×	associate-+r+
59×	pow1/3
52×	pow-unpow
51×	log-prod
50×	diff-log
46×	cos-mult
40×	unpow-prod-up
36×	1-exp
32×	tan-quot
30×	pow-pow rec-exp
29×	rem-sqrt-square
27×	cbrt-div
26×	neg-sub0
25×	sum-log
23×	pow1/2 sin-mult sqrt-pow1
19×	swap-sqr div-sub
17×	pow-prod-up
15×	associate--l+
14×	associate-+l-
13×	neg-log
12×	exp-diff exp-neg +-commutative
11×	rem-exp-log
10×	frac-add sub-div
9×	pow-flip distribute-frac-neg
8×	inv-pow log-div
7×	distribute-neg-in distribute-neg-frac associate--l-
6×	cube-mult unpow3
5×	cube-div pow-sqr unpow2
4×	rem-cube-cbrt expm1-udef
3×	distribute-rgt-out-- associate--r- pow2 pow-plus rem-cbrt-cube
2×	un-div-inv cos-sum associate-+r- pow-sub tan-sum cube-neg rem-log-exp
1×	log1p-udef log1p-expm1 expm1-log1p sqrt-unprod log-rec