acos Pow Mul x0 x0 sinh Mul 4 sech x1 
Mul -1 Mul Mul Pow Mul x0 x0 Add sinh Mul 4 sech x1 -1 Mul sinh Mul 4 sech x1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 x0 sinh Mul 4 sech x1 Pow Mul x0 x0 sinh Mul 4 sech x1 -1 