Mul Mul Add -3 x0 Pow acoth cot acos x2 Pow sin x0 Add -2 Mul x0 -4 asech x0 
Add Mul asech x0 Add Pow acoth cot acos x2 Pow sin x0 Add -2 Mul x0 -4 Mul Add -3 x0 Mul Pow acoth cot acos x2 Add Pow sin x0 Add -2 Mul x0 -4 -1 Mul Mul acoth cot acos x2 log acoth cot acos x2 Mul Pow sin x0 Add Add -2 Mul x0 -4 -1 Add Mul Add -2 Mul x0 -4 cos x0 Mul Mul sin x0 log sin x0 -4 Mul Mul Add -3 x0 Pow acoth cot acos x2 Pow sin x0 Add -2 Mul x0 -4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 