Mul Add x0 -3 acot Pow atan Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 sech x2 
Add acot Pow atan Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 sech x2 Mul Add x0 -3 Mul -1 Mul Mul Pow atan Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 Add sech x2 -1 Mul sech x2 Mul Mul Pow acot x0 Add exp Pow x3 Add Add x0 Pow x0 4 x0 -1 Add Mul exp Pow x3 Add Add x0 Pow x0 4 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul exp Pow x3 Add Add x0 Pow x0 4 x0 Mul Pow x3 Add Add Add x0 Pow x0 4 x0 -1 Mul Mul x3 log x3 Add Add 1 Mul Pow x0 3 4 1 Pow Add 1 Mul Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 -1 Pow Add 1 Mul Pow atan Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 sech x2 Pow atan Pow acot x0 exp Pow x3 Add Add x0 Pow x0 4 x0 sech x2 -1 