cosh acosh Pow x0 Mul Mul log x0 pi -4 
Mul sinh acosh Pow x0 Mul Mul log x0 pi -4 Mul Mul Pow x0 Add Mul Mul log x0 pi -4 -1 Add Mul Mul log x0 pi -4 Mul Mul x0 log x0 Mul -4 Mul pi Pow x0 -1 Pow Mul sqrt Add Pow x0 Mul Mul log x0 pi -4 -1 sqrt Add 1 Pow x0 Mul Mul log x0 pi -4 -1 