sinh Pow Pow E Add acos acoth x0 x0 Mul x1 Mul x0 Add Mul -3 x0 x0 
Mul cosh Pow Pow E Add acos acoth x0 x0 Mul x1 Mul x0 Add Mul -3 x0 x0 Mul Pow Pow E Add acos acoth x0 x0 Add Mul x1 Mul x0 Add Mul -3 x0 x0 -1 Add Mul Mul x1 Mul x0 Add Mul -3 x0 x0 Mul Pow E Add Add acos acoth x0 x0 -1 Mul Mul E log E Add Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 1 Mul Mul Pow E Add acos acoth x0 x0 log Pow E Add acos acoth x0 x0 Mul x1 Add Add Mul -3 x0 x0 Mul x0 2 