Add cos Pow atanh atan E Add acot Add x0 x0 pi x5 
Mul Mul -1 sin Pow atanh atan E Add acot Add x0 x0 pi Mul Pow atanh atan E Add Add acot Add x0 x0 pi -1 Mul Mul atanh atan E log atanh atan E Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 