Pow x0 cosh Pow Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 acosh x0 
Mul Pow x0 Add cosh Pow Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 acosh x0 -1 Add cosh Pow Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 acosh x0 Mul Mul x0 log x0 Mul sinh Pow Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 acosh x0 Mul Pow Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 Add acosh x0 -1 Add Mul acosh x0 Mul atanh pi Mul acsch x3 Mul Add Mul x0 Add Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Mul sqrt Add Pow x1 x0 -1 sqrt Add 1 Pow x1 x0 -1 1 Add acosh Pow x1 x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add acosh Pow x1 x0 x0 x0 Mul Add acosh Pow x1 x0 x0 x0 -1 Mul Add acosh Pow x1 x0 x0 x0 Mul Add acosh Pow x1 x0 x0 x0 -1 Mul Mul Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 log Mul atanh pi Mul acsch x3 asec Mul Add acosh Pow x1 x0 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 