acosh exp Pow x0 tan Pow sinh x0 x0 
Mul Mul exp Pow x0 tan Pow sinh x0 x0 Mul Pow x0 Add tan Pow sinh x0 x0 -1 Add tan Pow sinh x0 x0 Mul Mul x0 log x0 Mul Pow sec Pow sinh x0 x0 2 Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 Pow Mul sqrt Add exp Pow x0 tan Pow sinh x0 x0 -1 sqrt Add 1 exp Pow x0 tan Pow sinh x0 x0 -1 