Mul Mul log x2 sinh x0 Mul acosh atanh x0 x0 
Add Mul Mul acosh atanh x0 x0 Mul log x2 cosh x0 Mul Mul log x2 sinh x0 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 acosh atanh x0 