Add Mul x0 x0 Mul x0 csch Pow x7 sqrt Pow x0 acoth acosh x0 
Add Add x0 x0 Add csch Pow x7 sqrt Pow x0 acoth acosh x0 Mul x0 Mul Mul Mul -1 coth Pow x7 sqrt Pow x0 acoth acosh x0 csch Pow x7 sqrt Pow x0 acoth acosh x0 Mul Pow x7 Add sqrt Pow x0 acoth acosh x0 -1 Mul Mul x7 log x7 Mul Pow Mul 2 sqrt Pow x0 acoth acosh x0 -1 Mul Pow x0 Add acoth acosh x0 -1 Add acoth acosh x0 Mul Mul x0 log x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 