Mul x5 Add Mul log Add Pow acoth Add 2 Pow x0 sinh cosh x0 x5 4 x1 x4 
Mul x5 Mul x1 Mul Mul Pow acoth Add 2 Pow x0 sinh cosh x0 Add x5 -1 Mul x5 Mul Mul Pow x0 Add sinh cosh x0 -1 Add sinh cosh x0 Mul Mul x0 log x0 Mul cosh cosh x0 sinh x0 Pow Add 1 Mul -1 Mul Add 2 Pow x0 sinh cosh x0 Add 2 Pow x0 sinh cosh x0 -1 Pow Add Pow acoth Add 2 Pow x0 sinh cosh x0 x5 4 -1 