sinh Add Add Mul x3 Pow acoth E sec sinh x0 Add csch x0 acosh sqrt x0 x0 
Mul cosh Add Add Mul x3 Pow acoth E sec sinh x0 Add csch x0 acosh sqrt x0 x0 Add Add Mul x3 Mul Pow acoth E Add sec sinh x0 -1 Mul Mul acoth E log acoth E Mul Mul tan sinh x0 sec sinh x0 cosh x0 Add Mul Mul -1 coth x0 csch x0 Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 1 