Mul Add Add x0 cosh Mul x7 x0 Pow x7 Mul x0 pi Pow pi cot acosh x0 
Add Mul Pow pi cot acosh x0 Add Add 1 Mul sinh Mul x7 x0 x7 Mul Pow x7 Add Mul x0 pi -1 Mul Mul x7 log x7 pi Mul Add Add x0 cosh Mul x7 x0 Pow x7 Mul x0 pi Mul Pow pi Add cot acosh x0 -1 Mul Mul pi log pi Mul Mul -1 Pow csc acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 