asech Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 acoth acosh x0 
Mul Add Mul acoth acosh x0 Mul Pow acot Add Pow x1 Pow x0 x0 x4 Add cosh x5 -1 Mul cosh x5 Mul -1 Mul Mul Pow x1 Add Pow x0 x0 -1 Mul Mul x1 log x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Add Pow x1 Pow x0 x0 x4 Add Pow x1 Pow x0 x0 x4 -1 Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Mul Mul Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 acoth acosh x0 Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 acoth acosh x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 acoth acosh x0 Mul Pow acot Add Pow x1 Pow x0 x0 x4 cosh x5 acoth acosh x0 -1 -1 