Add Pow x0 Pow Add pi atanh x0 tan Mul x0 atanh x0 x2 
Mul Pow x0 Add Pow Add pi atanh x0 tan Mul x0 atanh x0 -1 Add Pow Add pi atanh x0 tan Mul x0 atanh x0 Mul Mul x0 log x0 Mul Pow Add pi atanh x0 Add tan Mul x0 atanh x0 -1 Add Mul tan Mul x0 atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add pi atanh x0 log Add pi atanh x0 Mul Pow sec Mul x0 atanh x0 2 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 