Add x0 Mul Pow asin acoth sin acosh x4 x0 atan x0 
Add 1 Add Mul atan x0 Mul Pow asin acoth sin acosh x4 Add x0 -1 Mul asin acoth sin acosh x4 log asin acoth sin acosh x4 Mul Pow asin acoth sin acosh x4 x0 Pow Add 1 Mul x0 x0 -1 