Mul x2 Add Pow Mul tanh x0 -3 4 Mul x2 Pow acoth Mul x0 x2 x7 
Mul x2 Add Mul Pow Mul tanh x0 -3 3 Mul 4 Mul -3 Pow sech x0 2 Mul x2 Mul Pow acoth Mul x0 x2 Add x7 -1 Mul x7 Mul x2 Pow Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 