cos Pow pi Pow Add x3 sqrt Mul log pi atanh x0 -1 
Mul Mul -1 sin Pow pi Pow Add x3 sqrt Mul log pi atanh x0 -1 Mul Pow pi Add Pow Add x3 sqrt Mul log pi atanh x0 -1 -1 Mul Mul pi log pi Mul Pow Add x3 sqrt Mul log pi atanh x0 2 Mul -1 Mul Pow Mul 2 sqrt Mul log pi atanh x0 -1 Mul log pi Pow Add 1 Mul -1 Mul x0 x0 -1 