csch acsc Add x0 acot Pow Pow log x3 x1 x7 
Mul Mul Mul -1 coth acsc Add x0 acot Pow Pow log x3 x1 x7 csch acsc Add x0 acot Pow Pow log x3 x1 x7 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 acot Pow Pow log x3 x1 x7 Add x0 acot Pow Pow log x3 x1 x7 -1 Add x0 acot Pow Pow log x3 x1 x7 Add x0 acot Pow Pow log x3 x1 x7 -1 