exp Pow Mul Mul x1 x0 x3 Pow atanh x0 coth acos x0 
Mul exp Pow Mul Mul x1 x0 x3 Pow atanh x0 coth acos x0 Mul Pow Mul Mul x1 x0 x3 Add Pow atanh x0 coth acos x0 -1 Add Mul Pow atanh x0 coth acos x0 Mul x3 x1 Mul Mul Mul Mul x1 x0 x3 log Mul Mul x1 x0 x3 Mul Pow atanh x0 Add coth acos x0 -1 Add Mul coth acos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 