Mul x7 Pow Pow acot Mul tanh x0 x0 x3 4 
Mul x7 Mul Pow Pow acot Mul tanh x0 x0 x3 3 Mul 4 Mul Pow acot Mul tanh x0 x0 Add x3 -1 Mul x3 Mul -1 Mul Add Mul x0 Pow sech x0 2 tanh x0 Pow Add 1 Mul Mul tanh x0 x0 Mul tanh x0 x0 -1 