Pow Mul x0 cosh x0 Add Mul Pow acos Pow 2 x0 x6 Mul 3 x0 3 
Mul Pow Mul x0 cosh x0 Add Add Mul Pow acos Pow 2 x0 x6 Mul 3 x0 3 -1 Add Mul Add Mul Pow acos Pow 2 x0 x6 Mul 3 x0 3 Add cosh x0 Mul x0 sinh x0 Mul Mul Mul x0 cosh x0 log Mul x0 cosh x0 Add Mul Mul 3 x0 Mul Pow acos Pow 2 x0 Add x6 -1 Mul x6 Mul -1 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow sqrt Add 1 Mul -1 Mul Pow 2 x0 Pow 2 x0 -1 Mul Pow acos Pow 2 x0 x6 3 