Mul pi Pow acosh Mul atanh x3 Mul x0 x0 Add Pow x5 Mul x0 sech pi asinh x0 
Mul pi Mul Pow acosh Mul atanh x3 Mul x0 x0 Add Add Pow x5 Mul x0 sech pi asinh x0 -1 Add Mul Add Pow x5 Mul x0 sech pi asinh x0 Mul Mul atanh x3 Add x0 x0 Pow Mul sqrt Add Mul atanh x3 Mul x0 x0 -1 sqrt Add 1 Mul atanh x3 Mul x0 x0 -1 Mul Mul acosh Mul atanh x3 Mul x0 x0 log acosh Mul atanh x3 Mul x0 x0 Add Mul Pow x5 Add Mul x0 sech pi -1 Mul Mul x5 log x5 sech pi Pow sqrt Add 1 Mul x0 x0 -1 