sinh Pow x0 Mul Mul x0 tan acot x5 x0 
Mul cosh Pow x0 Mul Mul x0 tan acot x5 x0 Mul Pow x0 Add Mul Mul x0 tan acot x5 x0 -1 Add Mul Mul x0 tan acot x5 x0 Mul Mul x0 log x0 Add Mul x0 tan acot x5 Mul x0 tan acot x5 