Add acos sin Mul -3 Pow atanh acsch x1 x0 x0 
Add Mul -1 Mul Mul cos Mul -3 Pow atanh acsch x1 x0 Mul -3 Mul Pow atanh acsch x1 Add x0 -1 Mul atanh acsch x1 log atanh acsch x1 Pow sqrt Add 1 Mul -1 Mul sin Mul -3 Pow atanh acsch x1 x0 sin Mul -3 Pow atanh acsch x1 x0 -1 1 