sech acot Mul Mul Mul Pow Mul acot atanh x3 x6 x0 x3 asinh x0 2 
Mul Mul tanh acot Mul Mul Mul Pow Mul acot atanh x3 x6 x0 x3 asinh x0 2 Mul -1 sech acot Mul Mul Mul Pow Mul acot atanh x3 x6 x0 x3 asinh x0 2 Mul -1 Mul Mul 2 Add Mul asinh x0 Mul x3 Mul Pow Mul acot atanh x3 x6 Add x0 -1 Mul Mul acot atanh x3 x6 log Mul acot atanh x3 x6 Mul Mul Pow Mul acot atanh x3 x6 x0 x3 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul Mul Mul Pow Mul acot atanh x3 x6 x0 x3 asinh x0 2 Mul Mul Mul Pow Mul acot atanh x3 x6 x0 x3 asinh x0 2 -1 