Pow log pi Pow Mul pi atanh x0 Pow Mul x0 asec x3 2 
Mul Pow log pi Add Pow Mul pi atanh x0 Pow Mul x0 asec x3 2 -1 Mul Mul log pi log log pi Mul Pow Mul pi atanh x0 Add Pow Mul x0 asec x3 2 -1 Add Mul Pow Mul x0 asec x3 2 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul pi atanh x0 log Mul pi atanh x0 Mul Mul x0 asec x3 Mul 2 asec x3 