Mul Add x1 sqrt acot log x0 Pow Mul 2 sech x0 Pow acot Mul x5 x5 x3 
Add Mul Pow Mul 2 sech x0 Pow acot Mul x5 x5 x3 Mul Pow Mul 2 sqrt acot log x0 -1 Mul -1 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 Mul Add x1 sqrt acot log x0 Mul Pow Mul 2 sech x0 Add Pow acot Mul x5 x5 x3 -1 Mul Pow acot Mul x5 x5 x3 Mul 2 Mul tanh x0 Mul -1 sech x0 