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