Add E Mul Pow Pow Pow x0 x1 atan asin x0 Pow x3 exp acoth x0 acsc Add x2 -4 
Mul acsc Add x2 -4 Mul Pow Pow Pow x0 x1 atan asin x0 Add Pow x3 exp acoth x0 -1 Add Mul Pow x3 exp acoth x0 Mul Pow Pow x0 x1 Add atan asin x0 -1 Add Mul atan asin x0 Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x0 x1 log Pow x0 x1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul asin x0 asin x0 -1 Mul Mul Pow Pow x0 x1 atan asin x0 log Pow Pow x0 x1 atan asin x0 Mul Pow x3 Add exp acoth x0 -1 Mul Mul x3 log x3 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 