Mul Mul x0 Mul Pow acos Mul x0 x6 coth x2 atan Mul x0 x7 sin x0 
Add Mul sin x0 Add Mul Pow acos Mul x0 x6 coth x2 atan Mul x0 x7 Mul x0 Add Mul atan Mul x0 x7 Mul Pow acos Mul x0 x6 Add coth x2 -1 Mul coth x2 Mul -1 Mul x6 Pow sqrt Add 1 Mul -1 Mul Mul x0 x6 Mul x0 x6 -1 Mul Pow acos Mul x0 x6 coth x2 Mul x7 Pow Add 1 Mul Mul x0 x7 Mul x0 x7 -1 Mul Mul x0 Mul Pow acos Mul x0 x6 coth x2 atan Mul x0 x7 cos x0 