csch acosh Add x6 acosh Mul x0 3 
Mul Mul Mul -1 coth acosh Add x6 acosh Mul x0 3 csch acosh Add x6 acosh Mul x0 3 Mul Mul 3 Pow Mul sqrt Add Mul x0 3 -1 sqrt Add 1 Mul x0 3 -1 Pow Mul sqrt Add Add x6 acosh Mul x0 3 -1 sqrt Add 1 Add x6 acosh Mul x0 3 -1 