Add Mul x0 asin atanh x0 Pow coth acos x0 Pow x3 4 
Add Add asin atanh x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul Pow coth acos x0 Add Pow x3 4 -1 Mul Pow x3 4 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 