Add acoth Mul Add -1 cot x4 Add 4 sec Mul x1 x0 x0 
Add Mul Mul Add -1 cot x4 Mul Mul tan Mul x1 x0 sec Mul x1 x0 x1 Pow Add 1 Mul -1 Mul Mul Add -1 cot x4 Add 4 sec Mul x1 x0 Mul Add -1 cot x4 Add 4 sec Mul x1 x0 -1 1 