Pow x0 Add Mul Pow x0 cosh atanh x7 Add x0 Add Mul asech x0 x0 x0 x3 
Mul Pow x0 Add Add Mul Pow x0 cosh atanh x7 Add x0 Add Mul asech x0 x0 x0 x3 -1 Add Add Mul Pow x0 cosh atanh x7 Add x0 Add Mul asech x0 x0 x0 x3 Mul Mul x0 log x0 Add Mul Add x0 Add Mul asech x0 x0 x0 Mul Pow x0 Add cosh atanh x7 -1 cosh atanh x7 Mul Pow x0 cosh atanh x7 Add 1 Add Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 asech x0 1 