Mul x0 Add Mul csch Mul x0 acosh asinh x4 Mul x0 x0 4 
Add Add Mul csch Mul x0 acosh asinh x4 Mul x0 x0 4 Mul x0 Add Mul Mul x0 x0 Mul Mul Mul -1 coth Mul x0 acosh asinh x4 csch Mul x0 acosh asinh x4 acosh asinh x4 Mul csch Mul x0 acosh asinh x4 Add x0 x0 