Add Add Add x1 x0 x0 acoth Pow Pow asec log x3 sech x3 Mul 2 Add x0 pi 
Add 2 Mul Mul Pow Pow asec log x3 sech x3 Add Mul 2 Add x0 pi -1 Mul Mul Pow asec log x3 sech x3 log Pow asec log x3 sech x3 2 Pow Add 1 Mul -1 Mul Pow Pow asec log x3 sech x3 Mul 2 Add x0 pi Pow Pow asec log x3 sech x3 Mul 2 Add x0 pi -1 