Pow x3 cosh Mul x4 Add x0 Mul Add Mul 4 Pow Add E 4 x0 Mul Mul x0 x0 asech x0 x7 
Mul Pow x3 Add cosh Mul x4 Add x0 Mul Add Mul 4 Pow Add E 4 x0 Mul Mul x0 x0 asech x0 x7 -1 Mul Mul x3 log x3 Mul sinh Mul x4 Add x0 Mul Add Mul 4 Pow Add E 4 x0 Mul Mul x0 x0 asech x0 x7 Mul x4 Add 1 Mul x7 Add Mul 4 Mul Pow Add E 4 Add x0 -1 Mul Add E 4 log Add E 4 Add Mul asech x0 Add x0 x0 Mul Mul x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 