Mul x0 sinh Mul x0 Mul Pow log cosh acoth x0 Mul -5 x2 4.08249262625116 
Add sinh Mul x0 Mul Pow log cosh acoth x0 Mul -5 x2 4.08249262625116 Mul x0 Mul cosh Mul x0 Mul Pow log cosh acoth x0 Mul -5 x2 4.08249262625116 Add Mul Pow log cosh acoth x0 Mul -5 x2 4.08249262625116 Mul x0 Mul 4.08249262625116 Mul Pow log cosh acoth x0 Add Mul -5 x2 -1 Mul Mul -5 x2 Mul Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow cosh acoth x0 -1 