sec Pow Mul acot atanh x0 x0 x2 
Mul Mul tan Pow Mul acot atanh x0 x0 x2 sec Pow Mul acot atanh x0 x0 x2 Mul Pow Mul acot atanh x0 x0 Add x2 -1 Mul x2 Add Mul x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul atanh x0 atanh x0 -1 acot atanh x0 