Add -2 Pow Mul acoth atan E Mul Mul x0 x1 x0 asin Mul asinh acosh x1 -1 
Mul Pow Mul acoth atan E Mul Mul x0 x1 x0 Add asin Mul asinh acosh x1 -1 -1 Mul asin Mul asinh acosh x1 -1 Mul acoth atan E Add Mul x0 x1 Mul x0 x1 