Add Mul acoth Add cosh x0 Mul x0 Pow exp Mul x0 5 x0 -5 -3 
Mul -5 Mul Add sinh x0 Add Pow exp Mul x0 5 x0 Mul x0 Mul Pow exp Mul x0 5 Add x0 -1 Add Mul x0 Mul exp Mul x0 5 5 Mul exp Mul x0 5 log exp Mul x0 5 Pow Add 1 Mul -1 Mul Add cosh x0 Mul x0 Pow exp Mul x0 5 x0 Add cosh x0 Mul x0 Pow exp Mul x0 5 x0 -1 