Mul asec Pow acsch x1 Add x0 Add atanh x0 x1 x0 
Add Mul x0 Mul Mul Pow acsch x1 Add Add x0 Add atanh x0 x1 -1 Mul Mul acsch x1 log acsch x1 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acsch x1 Add x0 Add atanh x0 x1 Pow acsch x1 Add x0 Add atanh x0 x1 -1 Pow acsch x1 Add x0 Add atanh x0 x1 Pow acsch x1 Add x0 Add atanh x0 x1 -1 asec Pow acsch x1 Add x0 Add atanh x0 x1 