Add x3 Add Pow x5 x0 Mul Pow pi sec Mul x0 atanh x0 x0 
Add Mul Pow x5 Add x0 -1 Mul x5 log x5 Add Mul x0 Mul Pow pi Add sec Mul x0 atanh x0 -1 Mul Mul pi log pi Mul Mul tan Mul x0 atanh x0 sec Mul x0 atanh x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow pi sec Mul x0 atanh x0 