Add atanh Add sec Mul acot x0 3 Add x3 x0 Pow x1 -2 
Mul Add Mul Mul tan Mul acot x0 3 sec Mul acot x0 3 Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add sec Mul acot x0 3 Add x3 x0 Add sec Mul acot x0 3 Add x3 x0 -1 