Add acos coth Add acoth Pow Pow -1 x5 x0 Pow log x7 x0 acos x0 
Add Mul -1 Mul Mul Mul -1 Pow csch Add acoth Pow Pow -1 x5 x0 Pow log x7 x0 2 Add Mul Mul Pow Pow -1 x5 Add x0 -1 Mul Pow -1 x5 log Pow -1 x5 Pow Add 1 Mul -1 Mul Pow Pow -1 x5 x0 Pow Pow -1 x5 x0 -1 Mul Pow log x7 Add x0 -1 Mul log x7 log log x7 Pow sqrt Add 1 Mul -1 Mul coth Add acoth Pow Pow -1 x5 x0 Pow log x7 x0 coth Add acoth Pow Pow -1 x5 x0 Pow log x7 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 