log sqrt Mul x0 Pow Add log x5 atanh x4 Mul -2 asech x2 
Mul Mul Pow Mul 2 sqrt Mul x0 Pow Add log x5 atanh x4 Mul -2 asech x2 -1 Pow Add log x5 atanh x4 Mul -2 asech x2 Pow sqrt Mul x0 Pow Add log x5 atanh x4 Mul -2 asech x2 -1 