Mul Add Add x0 csc atanh Pow sech acosh x2 Mul x0 Mul acoth Add x7 x7 x0 Add x0 x4 -1 
Mul -1 Add Add 1 Mul Mul Mul -1 cot atanh Pow sech acosh x2 Mul x0 Mul acoth Add x7 x7 x0 csc atanh Pow sech acosh x2 Mul x0 Mul acoth Add x7 x7 x0 Mul Mul Pow sech acosh x2 Add Mul x0 Mul acoth Add x7 x7 x0 -1 Mul Mul sech acosh x2 log sech acosh x2 Add Mul acoth Add x7 x7 x0 Mul x0 acoth Add x7 x7 Pow Add 1 Mul -1 Mul Pow sech acosh x2 Mul x0 Mul acoth Add x7 x7 x0 Pow sech acosh x2 Mul x0 Mul acoth Add x7 x7 x0 -1 1 