Pow x2 Pow sqrt E Pow Pow x0 tan Mul E x0 Add atanh x3 x0 
Mul Pow x2 Add Pow sqrt E Pow Pow x0 tan Mul E x0 Add atanh x3 x0 -1 Mul Mul x2 log x2 Mul Pow sqrt E Add Pow Pow x0 tan Mul E x0 Add atanh x3 x0 -1 Mul Mul sqrt E log sqrt E Mul Pow Pow x0 tan Mul E x0 Add Add atanh x3 x0 -1 Add Mul Add atanh x3 x0 Mul Pow x0 Add tan Mul E x0 -1 Add tan Mul E x0 Mul Mul x0 log x0 Mul Pow sec Mul E x0 2 E Mul Pow x0 tan Mul E x0 log Pow x0 tan Mul E x0 