Add x0 sec Mul Mul acoth x0 atan Add x0 2 acot asinh x6 
Add 1 Mul Mul tan Mul Mul acoth x0 atan Add x0 2 acot asinh x6 sec Mul Mul acoth x0 atan Add x0 2 acot asinh x6 Mul acot asinh x6 Add Mul atan Add x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Pow Add 1 Mul Add x0 2 Add x0 2 -1 