Mul Add Pow x0 Add csch acot x0 1 Pow x0 Mul Mul x6 -2 asinh x3 Add Add acosh x4 5 x0 
Add Mul Add Add acosh x4 5 x0 Add Mul Pow x0 Add Add csch acot x0 1 -1 Add Add csch acot x0 1 Mul Mul x0 log x0 Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 Add Mul Mul x6 -2 asinh x3 -1 Mul Mul x6 -2 asinh x3 Add Pow x0 Add csch acot x0 1 Pow x0 Mul Mul x6 -2 asinh x3 