Add Mul x0 -1 Add Mul asech Add log x0 cot x3 4 x0 
Add -1 Add Mul 4 Mul Pow x0 -1 Pow Mul Mul Add log x0 cot x3 Add log x0 cot x3 sqrt Add 1 Mul -1 Pow Mul Add log x0 cot x3 Add log x0 cot x3 -1 -1 1 