acosh atanh Add Mul x0 csch x4 5 
Mul Mul csch x4 Pow Add 1 Mul -1 Mul Add Mul x0 csch x4 5 Add Mul x0 csch x4 5 -1 Pow Mul sqrt Add atanh Add Mul x0 csch x4 5 -1 sqrt Add 1 atanh Add Mul x0 csch x4 5 -1 