log Mul sech Mul Add x7 x0 asinh x0 Mul x7 E 
Mul Mul Mul x7 E Mul Mul tanh Mul Add x7 x0 asinh x0 Mul -1 sech Mul Add x7 x0 asinh x0 Add asinh x0 Mul Add x7 x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sech Mul Add x7 x0 asinh x0 Mul x7 E -1 