Mul Add acos Add Mul Mul x0 x0 x0 Mul x4 acsch x5 x0 pi 
Mul pi Add Mul -1 Mul Add Mul x0 Add x0 x0 Mul x0 x0 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul x0 x0 x0 Mul x4 acsch x5 Add Mul Mul x0 x0 x0 Mul x4 acsch x5 -1 1 