sech Pow Pow acosh Mul x2 pi -3 Pow x6 x0 
Mul Mul tanh Pow Pow acosh Mul x2 pi -3 Pow x6 x0 Mul -1 sech Pow Pow acosh Mul x2 pi -3 Pow x6 x0 Mul Pow Pow acosh Mul x2 pi -3 Add Pow x6 x0 -1 Mul Mul Pow acosh Mul x2 pi -3 log Pow acosh Mul x2 pi -3 Mul Pow x6 Add x0 -1 Mul x6 log x6 