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