Pow x0 Pow acoth acosh x0 Mul asech Mul Mul x0 x0 asech pi Pow 3 x4 
Mul Pow x0 Add Pow acoth acosh x0 Mul asech Mul Mul x0 x0 asech pi Pow 3 x4 -1 Add Pow acoth acosh x0 Mul asech Mul Mul x0 x0 asech pi Pow 3 x4 Mul Mul x0 log x0 Mul Pow acoth acosh x0 Add Mul asech Mul Mul x0 x0 asech pi Pow 3 x4 -1 Add Mul Mul asech Mul Mul x0 x0 asech pi Pow 3 x4 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul Mul acoth acosh x0 log acoth acosh x0 Mul Pow 3 x4 Mul Mul asech pi Add x0 x0 Pow Mul Mul Mul Mul x0 x0 asech pi Mul Mul x0 x0 asech pi sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 asech pi Mul Mul x0 x0 asech pi -1 -1 