Pow Mul acoth asech x7 Add Mul 4 Mul Pow x3 sinh x0 x0 -5 sech x1 
Mul Pow Mul acoth asech x7 Add Mul 4 Mul Pow x3 sinh x0 x0 -5 Add sech x1 -1 Mul sech x1 Mul acoth asech x7 Mul 4 Add Mul x0 Mul Pow x3 Add sinh x0 -1 Mul Mul x3 log x3 cosh x0 Pow x3 sinh x0 