Pow Add x0 Pow Mul x2 sqrt Mul Add Pow Add exp x0 x0 Add cosh x0 x0 x0 x0 x6 -2 
Mul Pow Add x0 Pow Mul x2 sqrt Mul Add Pow Add exp x0 x0 Add cosh x0 x0 x0 x0 x6 3 Mul -2 Add 1 Mul Pow Mul x2 sqrt Mul Add Pow Add exp x0 x0 Add cosh x0 x0 x0 x0 Add x6 -1 Mul x6 Mul x2 Mul Pow Mul 2 sqrt Mul Add Pow Add exp x0 x0 Add cosh x0 x0 x0 x0 -1 Add Mul x0 Add Mul Pow Add exp x0 x0 Add Add cosh x0 x0 -1 Add Mul Add cosh x0 x0 Add exp x0 1 Mul Mul Add exp x0 x0 log Add exp x0 x0 Add sinh x0 1 1 Add Pow Add exp x0 x0 Add cosh x0 x0 x0 