Mul Pow cosh Pow x0 acoth x2 asin Add -4 x3 Add pi x0 
Add Mul Add pi x0 Mul Pow cosh Pow x0 acoth x2 Add asin Add -4 x3 -1 Mul asin Add -4 x3 Mul sinh Pow x0 acoth x2 Mul Pow x0 Add acoth x2 -1 acoth x2 Pow cosh Pow x0 acoth x2 asin Add -4 x3 