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