Mul asech Pow atanh Mul x4 acsch x5 x0 -5 
Mul -5 Mul Mul Pow atanh Mul x4 acsch x5 Add x0 -1 Mul atanh Mul x4 acsch x5 log atanh Mul x4 acsch x5 Pow Mul Mul Pow atanh Mul x4 acsch x5 x0 Pow atanh Mul x4 acsch x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow atanh Mul x4 acsch x5 x0 Pow atanh Mul x4 acsch x5 x0 -1 -1 