acoth Add tan Pow x0 Pow Add x1 Add -2 x0 x1 x3 
Mul Mul Pow sec Pow x0 Pow Add x1 Add -2 x0 x1 2 Mul Pow x0 Add Pow Add x1 Add -2 x0 x1 -1 Add Pow Add x1 Add -2 x0 x1 Mul Mul x0 log x0 Mul Pow Add x1 Add -2 x0 Add x1 -1 x1 Pow Add 1 Mul -1 Mul Add tan Pow x0 Pow Add x1 Add -2 x0 x1 x3 Add tan Pow x0 Pow Add x1 Add -2 x0 x1 x3 -1 