Add -2 Pow atan Pow acsch Mul E x4 Mul x0 Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 4 
Mul Pow atan Pow acsch Mul E x4 Mul x0 Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 3 Mul 4 Mul Mul Pow acsch Mul E x4 Add Mul x0 Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 -1 Mul Mul acsch Mul E x4 log acsch Mul E x4 Add Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 Mul x0 Mul Pow Mul Add Add -4 x0 x0 x0 Add acosh x5 -1 Mul acosh x5 Add Mul x0 2 Add Add -4 x0 x0 Pow Add 1 Mul Pow acsch Mul E x4 Mul x0 Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 Pow acsch Mul E x4 Mul x0 Add Pow Mul Add Add -4 x0 x0 x0 acosh x5 x1 -1 