atanh Pow Add x0 x0 Add Pow Pow acsch x0 x0 x5 Mul x7 x5 
Mul Mul Pow Add x0 x0 Add Add Pow Pow acsch x0 x0 x5 Mul x7 x5 -1 Add Mul Add Pow Pow acsch x0 x0 x5 Mul x7 x5 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Pow acsch x0 x0 Add x5 -1 Mul x5 Mul Pow acsch x0 Add x0 -1 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 log acsch x0 Pow Add 1 Mul -1 Mul Pow Add x0 x0 Add Pow Pow acsch x0 x0 x5 Mul x7 x5 Pow Add x0 x0 Add Pow Pow acsch x0 x0 x5 Mul x7 x5 -1 