Mul acos Add Mul x0 acsch x0 x1 log Add Add Pow 0.842178717650423 cot x2 atan x0 x0 
Add Mul log Add Add Pow 0.842178717650423 cot x2 atan x0 x0 Mul -1 Mul Add acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 acsch x0 x1 Add Mul x0 acsch x0 x1 -1 Mul acos Add Mul x0 acsch x0 x1 Mul Add Pow Add 1 Mul x0 x0 -1 1 Pow Add Add Pow 0.842178717650423 cot x2 atan x0 x0 -1 