Mul Mul x3 -2 Mul 1.37340076694502 Mul atanh Pow x0 Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 Pow 2 x0 
Mul Mul x3 -2 Mul 1.37340076694502 Add Mul Pow 2 x0 Mul Mul Pow x0 Add Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 -1 Add Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 Mul Mul x0 log x0 Mul Pow Pow Mul Add -1 cosh x7 x0 atanh x0 -0.158529015192103 Mul 0.841470984807897 Mul Pow Mul Add -1 cosh x7 x0 Add atanh x0 -1 Add Mul atanh x0 Add -1 cosh x7 Mul Mul Mul Add -1 cosh x7 x0 log Mul Add -1 cosh x7 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow x0 Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 Pow x0 Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 -1 Mul atanh Pow x0 Pow Pow Mul Add -1 cosh x7 x0 atanh x0 0.841470984807897 Mul Pow 2 Add x0 -1 2.69314718055995 