Mul Add acsch Pow Mul x4 pi Add x0 1 log acosh x0 x3 
Mul x3 Add Mul Mul -1 Mul Pow Mul x4 pi Add Add x0 1 -1 Mul Mul x4 pi log Mul x4 pi Pow Mul Mul Pow Mul x4 pi Add x0 1 Pow Mul x4 pi Add x0 1 sqrt Add 1 Mul -1 Pow Mul Pow Mul x4 pi Add x0 1 Pow Mul x4 pi Add x0 1 -1 -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acosh x0 -1 