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