acsch Add Pow atanh x3 x0 1 
Mul Mul -1 Mul Pow atanh x3 Add x0 -1 Mul atanh x3 log atanh x3 Pow Mul Mul Add Pow atanh x3 x0 1 Add Pow atanh x3 x0 1 sqrt Add 1 Mul -1 Pow Mul Add Pow atanh x3 x0 1 Add Pow atanh x3 x0 1 -1 -1 