Add asech Pow acoth asinh x1 Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 Add Pow x0 3 asech x0 
Add Mul Mul Pow acoth asinh x1 Add Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 -1 Mul Mul acoth asinh x1 log acoth asinh x1 Mul Pow Pow Add Mul x0 Pow x0 x6 x3 x0 Add x3 -1 Mul x3 Mul Pow Add Mul x0 Pow x0 x6 x3 Add x0 -1 Add Mul x0 Add Pow x0 x6 Mul x0 Mul Pow x0 Add x6 -1 x6 Mul Add Mul x0 Pow x0 x6 x3 log Add Mul x0 Pow x0 x6 x3 Pow Mul Mul Pow acoth asinh x1 Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 Pow acoth asinh x1 Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 sqrt Add 1 Mul -1 Pow Mul Pow acoth asinh x1 Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 Pow acoth asinh x1 Pow Pow Add Mul x0 Pow x0 x6 x3 x0 x3 -1 -1 Add Mul Pow x0 2 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 