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