Pow Add acosh acoth x0 x0 Add x7 Pow x1 Add sech x0 asin pi 
Mul Pow Add acosh acoth x0 x0 Add Add x7 Pow x1 Add sech x0 asin pi -1 Add Mul Add x7 Pow x1 Add sech x0 asin pi Add Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 1 Mul Mul Add acosh acoth x0 x0 log Add acosh acoth x0 x0 Mul Pow x1 Add Add sech x0 asin pi -1 Mul Mul x1 log x1 Mul tanh x0 Mul -1 sech x0 