Mul Mul atan Pow x0 csch log asinh pi coth x1 Add x0 Pow x7 x7 
Add Mul Add x0 Pow x7 x7 Mul coth x1 Mul Mul Pow x0 Add csch log asinh pi -1 csch log asinh pi Pow Add 1 Mul Pow x0 csch log asinh pi Pow x0 csch log asinh pi -1 Mul atan Pow x0 csch log asinh pi coth x1 