Add Pow x5 x0 sech Mul Mul Mul atan x0 acot sqrt x3 Pow x3 exp E Add x0 pi 
Add Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul tanh Mul Mul Mul atan x0 acot sqrt x3 Pow x3 exp E Add x0 pi Mul -1 sech Mul Mul Mul atan x0 acot sqrt x3 Pow x3 exp E Add x0 pi Add Mul Add x0 pi Mul Pow x3 exp E Mul acot sqrt x3 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 acot sqrt x3 Pow x3 exp E 