Add Mul 0.832554611157698 acsch x3 Mul x0 acos Mul Mul x0 Add acos Add x0 -4 x0 x1 
Add acos Mul Mul x0 Add acos Add x0 -4 x0 x1 Mul x0 Mul -1 Mul Mul x1 Add Add acos Add x0 -4 x0 Mul x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Add acos Add x0 -4 x0 x1 Mul Mul x0 Add acos Add x0 -4 x0 x1 -1 