Pow Mul acosh asech x1 Pow Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Mul x0 acoth x0 x0 
Mul Pow Mul acosh asech x1 Pow Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Mul x0 acoth x0 Add x0 -1 Add Mul x0 Mul acosh asech x1 Mul Pow Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Add Mul x0 acoth x0 -1 Add Mul Mul x0 acoth x0 Mul Pow Add sec atanh x0 log sinh Pow x0 x0 Add x1 -1 Mul x1 Add Mul Mul tan atanh x0 sec atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cosh Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sinh Pow x0 x0 -1 Mul Mul Pow Add sec atanh x0 log sinh Pow x0 x0 x1 log Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acosh asech x1 Pow Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Mul x0 acoth x0 log Mul acosh asech x1 Pow Pow Add sec atanh x0 log sinh Pow x0 x0 x1 Mul x0 acoth x0 