Mul Mul Add acoth x0 5 acos Mul x0 sin x0 acos x5 
Mul acos x5 Add Mul acos Mul x0 sin x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add acoth x0 5 Mul -1 Mul Add sin x0 Mul x0 cos x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 sin x0 Mul x0 sin x0 -1 