sin Pow acoth x0 Mul Mul x0 x0 Pow x4 Add cosh x0 x0 
Mul cos Pow acoth x0 Mul Mul x0 x0 Pow x4 Add cosh x0 x0 Mul Pow acoth x0 Add Mul Mul x0 x0 Pow x4 Add cosh x0 x0 -1 Add Mul Mul Mul x0 x0 Pow x4 Add cosh x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Add Mul Pow x4 Add cosh x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow x4 Add Add cosh x0 x0 -1 Mul Mul x4 log x4 Add sinh x0 1 