Mul Pow acos Pow sin acoth x5 Pow x0 pi cosh x0 Add sinh Mul x0 x0 -3 
Add Mul Add sinh Mul x0 x0 -3 Mul Pow acos Pow sin acoth x5 Pow x0 pi Add cosh x0 -1 Add Mul cosh x0 Mul -1 Mul Mul Pow sin acoth x5 Add Pow x0 pi -1 Mul Mul sin acoth x5 log sin acoth x5 Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow sin acoth x5 Pow x0 pi Pow sin acoth x5 Pow x0 pi -1 Mul Mul acos Pow sin acoth x5 Pow x0 pi log acos Pow sin acoth x5 Pow x0 pi sinh x0 Mul Pow acos Pow sin acoth x5 Pow x0 pi cosh x0 Mul cosh Mul x0 x0 Add x0 x0 