acot Mul Add x0 Mul Pow sech Pow Add x0 x0 tan log x0 -5 3 x3 
Mul -1 Mul Mul x3 Add 1 Mul 3 Mul Pow sech Pow Add x0 x0 tan log x0 6 Mul -5 Mul Mul tanh Pow Add x0 x0 tan log x0 Mul -1 sech Pow Add x0 x0 tan log x0 Mul Pow Add x0 x0 Add tan log x0 -1 Add Mul tan log x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow sec log x0 2 Pow x0 -1 Pow Add 1 Mul Mul Add x0 Mul Pow sech Pow Add x0 x0 tan log x0 -5 3 x3 Mul Add x0 Mul Pow sech Pow Add x0 x0 tan log x0 -5 3 x3 -1 