Mul Add sqrt Add x2 Pow acot sech cosh x0 acot Mul Add pi 4 x0 x0 -3 
Mul -3 Add Mul Pow Mul 2 sqrt Add x2 Pow acot sech cosh x0 acot Mul Add pi 4 x0 -1 Mul Pow acot sech cosh x0 Add acot Mul Add pi 4 x0 -1 Add Mul acot Mul Add pi 4 x0 Mul -1 Mul Mul Mul tanh cosh x0 Mul -1 sech cosh x0 sinh x0 Pow Add 1 Mul sech cosh x0 sech cosh x0 -1 Mul Mul acot sech cosh x0 log acot sech cosh x0 Mul -1 Mul Add pi 4 Pow Add 1 Mul Mul Add pi 4 x0 Mul Add pi 4 x0 -1 1 