Add Mul Mul atan cosh x0 Add sqrt x0 x0 asec Add x5 Mul Pow x0 acoth x5 x5 Pow Pow x5 x1 x0 
Add Add Mul asec Add x5 Mul Pow x0 acoth x5 x5 Add Mul Add sqrt x0 x0 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul atan cosh x0 Add Pow Mul 2 sqrt x0 -1 1 Mul Mul atan cosh x0 Add sqrt x0 x0 Mul Mul x5 Mul Pow x0 Add acoth x5 -1 acoth x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x5 Mul Pow x0 acoth x5 x5 Add x5 Mul Pow x0 acoth x5 x5 -1 Add x5 Mul Pow x0 acoth x5 x5 Add x5 Mul Pow x0 acoth x5 x5 -1 Mul Pow Pow x5 x1 Add x0 -1 Mul Pow x5 x1 log Pow x5 x1 