Mul x0 csch acosh Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 
Add csch acosh Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 Mul x0 Mul Mul Mul -1 coth acosh Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 csch acosh Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 Mul Mul Pow x0 Add Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 -1 Add Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 Mul Mul x0 log x0 Add csch Mul acosh x2 Mul x0 x0 Mul x0 Mul Mul Mul -1 coth Mul acosh x2 Mul x0 x0 csch Mul acosh x2 Mul x0 x0 Mul acosh x2 Add x0 x0 Pow Mul sqrt Add Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 -1 sqrt Add 1 Pow x0 Add csch x3 Mul x0 csch Mul acosh x2 Mul x0 x0 -1 