Pow x0 Add acot Pow x0 Mul 4.32175055439664 log acos x7 exp coth Add x0 x4 
Mul Pow x0 Add Add acot Pow x0 Mul 4.32175055439664 log acos x7 exp coth Add x0 x4 -1 Add Add acot Pow x0 Mul 4.32175055439664 log acos x7 exp coth Add x0 x4 Mul Mul x0 log x0 Add Mul -1 Mul Mul Pow x0 Add Mul 4.32175055439664 log acos x7 -1 Mul 4.32175055439664 log acos x7 Pow Add 1 Mul Pow x0 Mul 4.32175055439664 log acos x7 Pow x0 Mul 4.32175055439664 log acos x7 -1 Mul exp coth Add x0 x4 Mul -1 Pow csch Add x0 x4 2 