Pow Mul Mul x0 Pow Mul x1 x6 sqrt x3 Mul x3 Add Mul x0 2 x0 atanh Add cosh x4 x0 
Mul Pow Mul Mul x0 Pow Mul x1 x6 sqrt x3 Mul x3 Add Mul x0 2 x0 Add atanh Add cosh x4 x0 -1 Add Mul atanh Add cosh x4 x0 Add Mul Mul x3 Add Mul x0 2 x0 Pow Mul x1 x6 sqrt x3 Mul Mul x0 Pow Mul x1 x6 sqrt x3 Mul x3 3 Mul Mul Mul Mul x0 Pow Mul x1 x6 sqrt x3 Mul x3 Add Mul x0 2 x0 log Mul Mul x0 Pow Mul x1 x6 sqrt x3 Mul x3 Add Mul x0 2 x0 Pow Add 1 Mul -1 Mul Add cosh x4 x0 Add cosh x4 x0 -1 