acos Pow Mul cosh Mul x7 x1 2 Mul 2 x0 
Mul -1 Mul Mul Pow Mul cosh Mul x7 x1 2 Add Mul 2 x0 -1 Mul Mul Mul cosh Mul x7 x1 2 log Mul cosh Mul x7 x1 2 2 Pow sqrt Add 1 Mul -1 Mul Pow Mul cosh Mul x7 x1 2 Mul 2 x0 Pow Mul cosh Mul x7 x1 2 Mul 2 x0 -1 