Add Add 256 acos Pow Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 acosh Pow x0 5 x0 
Add Mul -1 Mul Mul Pow Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 Add acosh Pow x0 5 -1 Add Mul acosh Pow x0 5 Add Mul x0 Mul Pow -1 E Mul Mul Mul -1 coth Mul x2 Add acosh x6 x0 csch Mul x2 Add acosh x6 x0 x2 Mul csch Mul x2 Add acosh x6 x0 Pow -1 E Mul Mul Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 log Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 Mul Mul Pow x0 4 5 Pow Mul sqrt Add Pow x0 5 -1 sqrt Add 1 Pow x0 5 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 acosh Pow x0 5 Pow Mul Mul csch Mul x2 Add acosh x6 x0 Pow -1 E x0 acosh Pow x0 5 -1 1 