tan sqrt Pow x6 acoth sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 
Mul Pow sec sqrt Pow x6 acoth sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 2 Mul Pow Mul 2 sqrt Pow x6 acoth sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 -1 Mul Pow x6 Add acoth sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 -1 Mul Mul x6 log x6 Mul Mul cosh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 Mul cosh x1 Mul Add Add x0 x0 Add Pow x0 -1 Pow x0 -1 Pow Add 1 Mul -1 Mul Add Mul x0 x0 Add log x0 log x0 Add Mul x0 x0 Add log x0 log x0 -1 Pow Add 1 Mul -1 Mul sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 sinh Mul acoth Add Mul x0 x0 Add log x0 log x0 cosh x1 -1 