Pow Mul Mul x0 2.23606797749979 tan coth x6 acosh x0 
Mul Pow Mul Mul x0 2.23606797749979 tan coth x6 Add acosh x0 -1 Add Mul acosh x0 Mul tan coth x6 2.23606797749979 Mul Mul Mul Mul x0 2.23606797749979 tan coth x6 log Mul Mul x0 2.23606797749979 tan coth x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 