Mul x0 Mul Add x0 acosh Pow x0 csch acosh atanh x6 Add x0 x0 
Add Mul Add x0 acosh Pow x0 csch acosh atanh x6 Add x0 x0 Mul x0 Add Mul Add x0 x0 Add 1 Mul Mul Pow x0 Add csch acosh atanh x6 -1 csch acosh atanh x6 Pow Mul sqrt Add Pow x0 csch acosh atanh x6 -1 sqrt Add 1 Pow x0 csch acosh atanh x6 -1 Mul Add x0 acosh Pow x0 csch acosh atanh x6 2 