Add pi acos Add acsch x3 Add Pow x0 Mul -4 x2 x2 
Mul -1 Mul Mul Pow x0 Add Mul -4 x2 -1 Mul -4 x2 Pow sqrt Add 1 Mul -1 Mul Add acsch x3 Add Pow x0 Mul -4 x2 x2 Add acsch x3 Add Pow x0 Mul -4 x2 x2 -1 