Pow Mul acot Mul x0 x1 Pow sech x0 Add x6 x0 Mul x0 x0 
Mul Pow Mul acot Mul x0 x1 Pow sech x0 Add x6 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add Mul Pow sech x0 Add x6 x0 Mul -1 Mul x1 Pow Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Mul acot Mul x0 x1 Mul Pow sech x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 log sech x0 Mul Mul Mul acot Mul x0 x1 Pow sech x0 Add x6 x0 log Mul acot Mul x0 x1 Pow sech x0 Add x6 x0 Add x0 x0 