Add Mul x0 acosh Pow x6 Add acosh x3 x4 acsch Pow acosh x1 Pow Add cot csch acot x0 -3 x0 
Add acosh Pow x6 Add acosh x3 x4 Mul Mul -1 Mul Pow acosh x1 Add Pow Add cot csch acot x0 -3 x0 -1 Mul Mul acosh x1 log acosh x1 Mul Pow Add cot csch acot x0 -3 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc csch acot x0 2 Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add cot csch acot x0 -3 log Add cot csch acot x0 -3 Pow Mul Mul Pow acosh x1 Pow Add cot csch acot x0 -3 x0 Pow acosh x1 Pow Add cot csch acot x0 -3 x0 sqrt Add 1 Mul -1 Pow Mul Pow acosh x1 Pow Add cot csch acot x0 -3 x0 Pow acosh x1 Pow Add cot csch acot x0 -3 x0 -1 -1 