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