Mul tan exp x1 asinh Add atanh sinh x0 Add x0 Pow x5 Mul Add -1 Pow x0 asech x0 3 
Mul tan exp x1 Mul Add Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Add 1 Mul Pow x5 Add Mul Add -1 Pow x0 asech x0 3 -1 Mul Mul x5 log x5 Mul 3 Mul Pow x0 Add asech x0 -1 Add asech x0 Mul Mul x0 log x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul Add atanh sinh x0 Add x0 Pow x5 Mul Add -1 Pow x0 asech x0 3 Add atanh sinh x0 Add x0 Pow x5 Mul Add -1 Pow x0 asech x0 3 -1 