Mul x3 sinh Pow Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add -4 Add exp x4 x2 x0 
Mul x3 Mul cosh Pow Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add -4 Add exp x4 x2 x0 Mul Pow Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add -4 Add exp x4 x2 Add x0 -1 Add Mul x0 Mul Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add Add -4 Add exp x4 x2 -1 Mul Add -4 Add exp x4 x2 Mul Mul Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 Add x1 -1 Mul x1 Mul Pow Mul x0 Pow x4 -1 Add sinh Mul x0 x3 -1 Add Mul sinh Mul x0 x3 Pow x4 -1 Mul Mul Mul x0 Pow x4 -1 log Mul x0 Pow x4 -1 Mul cosh Mul x0 x3 x3 Pow Mul Mul Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 -1 -1 Mul Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add -4 Add exp x4 x2 log Pow asech Pow Pow Mul x0 Pow x4 -1 sinh Mul x0 x3 x1 Add -4 Add exp x4 x2 