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