Pow atan Pow Mul -2 x3 atan x0 log Add x0 Pow x0 Add x2 Mul x0 tan asin coth E 
Mul Pow atan Pow Mul -2 x3 atan x0 Add log Add x0 Pow x0 Add x2 Mul x0 tan asin coth E -1 Add Mul log Add x0 Pow x0 Add x2 Mul x0 tan asin coth E Mul Mul Pow Mul -2 x3 Add atan x0 -1 Mul Mul Mul -2 x3 log Mul -2 x3 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow Mul -2 x3 atan x0 Pow Mul -2 x3 atan x0 -1 Mul Mul atan Pow Mul -2 x3 atan x0 log atan Pow Mul -2 x3 atan x0 Mul Add 1 Mul Pow x0 Add Add x2 Mul x0 tan asin coth E -1 Add Add x2 Mul x0 tan asin coth E Mul Mul x0 log x0 tan asin coth E Pow Add x0 Pow x0 Add x2 Mul x0 tan asin coth E -1 