cos cos Add -1 Mul x0 Mul atan Pow Pow acoth cos x0 5 x3 x0 
Mul Mul -1 sin cos Add -1 Mul x0 Mul atan Pow Pow acoth cos x0 5 x3 x0 Mul Mul -1 sin Add -1 Mul x0 Mul atan Pow Pow acoth cos x0 5 x3 x0 Add Mul atan Pow Pow acoth cos x0 5 x3 x0 Mul x0 Add Mul x0 Mul Mul Pow Pow acoth cos x0 5 Add x3 -1 Mul x3 Mul Pow acoth cos x0 4 Mul 5 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow Add 1 Mul Pow Pow acoth cos x0 5 x3 Pow Pow acoth cos x0 5 x3 -1 atan Pow Pow acoth cos x0 5 x3 