Mul Pow cosh x1 sqrt x2 Pow acos Add Mul Add Mul x0 x0 x0 Pow 4 x0 x0 3 
Mul Pow cosh x1 sqrt x2 Mul Pow acos Add Mul Add Mul x0 x0 x0 Pow 4 x0 x0 2 Mul 3 Mul -1 Mul Add Add Mul Pow 4 x0 Add Add x0 x0 1 Mul Add Mul x0 x0 x0 Mul Pow 4 Add x0 -1 5.38629436111989 1 Pow sqrt Add 1 Mul -1 Mul Add Mul Add Mul x0 x0 x0 Pow 4 x0 x0 Add Mul Add Mul x0 x0 x0 Pow 4 x0 x0 -1 