Add x0 Add x0 Add -3 Mul Pow Mul x0 x1 Add cos x0 acoth Add atan tan Mul E x0 x0 x2 
Add 1 Add 1 Mul x2 Mul Pow Mul x0 x1 Add Add cos x0 acoth Add atan tan Mul E x0 x0 -1 Add Mul Add cos x0 acoth Add atan tan Mul E x0 x0 x1 Mul Mul Mul x0 x1 log Mul x0 x1 Add Mul -1 sin x0 Mul Add Mul Mul Pow sec Mul E x0 2 E Pow Add 1 Mul tan Mul E x0 tan Mul E x0 -1 1 Pow Add 1 Mul -1 Mul Add atan tan Mul E x0 x0 Add atan tan Mul E x0 x0 -1 