Mul x0 Mul Pow x0 Add Pow Pow Mul atan x0 Pow x0 Add x1 x6 x0 acsch cosh x0 x0 Add 8 x7 
Add Mul Pow x0 Add Pow Pow Mul atan x0 Pow x0 Add x1 x6 x0 acsch cosh x0 x0 Add 8 x7 Mul x0 Mul Add 8 x7 Mul Pow x0 Add Add Pow Pow Mul atan x0 Pow x0 Add x1 x6 x0 acsch cosh x0 x0 -1 Add Add Pow Pow Mul atan x0 Pow x0 Add x1 x6 x0 acsch cosh x0 x0 Mul Mul x0 log x0 Add Mul Pow Pow Mul atan x0 Pow x0 Add x1 x6 x0 Add acsch cosh x0 -1 Add Mul acsch cosh x0 Mul Pow Mul atan x0 Pow x0 Add x1 x6 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add x1 x6 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow x0 Add Add x1 x6 -1 Add x1 x6 Mul Mul atan x0 Pow x0 Add x1 x6 log Mul atan x0 Pow x0 Add x1 x6 Mul Mul Pow Mul atan x0 Pow x0 Add x1 x6 x0 log Pow Mul atan x0 Pow x0 Add x1 x6 x0 Mul Mul -1 sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 1 