log sin Pow x3 Pow csch Pow acosh x0 E Add Add -4 E Pow x0 x3 
Mul Mul cos Pow x3 Pow csch Pow acosh x0 E Add Add -4 E Pow x0 x3 Mul Pow x3 Add Pow csch Pow acosh x0 E Add Add -4 E Pow x0 x3 -1 Mul Mul x3 log x3 Mul Pow csch Pow acosh x0 E Add Add Add -4 E Pow x0 x3 -1 Add Mul Add Add -4 E Pow x0 x3 Mul Mul Mul -1 coth Pow acosh x0 E csch Pow acosh x0 E Mul Pow acosh x0 Add E -1 Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul csch Pow acosh x0 E log csch Pow acosh x0 E Mul Pow x0 Add x3 -1 x3 Pow sin Pow x3 Pow csch Pow acosh x0 E Add Add -4 E Pow x0 x3 -1 