Pow x5 Mul Pow 4 Add Mul x0 acsch x1 x0 acoth x0 
Mul Pow x5 Add Mul Pow 4 Add Mul x0 acsch x1 x0 acoth x0 -1 Mul Mul x5 log x5 Add Mul acoth x0 Mul Pow 4 Add Add Mul x0 acsch x1 x0 -1 Mul 5.38629436111989 Add acsch x1 1 Mul Pow 4 Add Mul x0 acsch x1 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 