Mul Pow cos coth Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 sech x0 log atan x3 
Mul log atan x3 Mul Pow cos coth Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 Add sech x0 -1 Add Mul sech x0 Mul Mul -1 sin coth Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 Mul Mul -1 Pow csch Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 2 Mul Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 Add x3 -1 Mul x3 Mul Add Mul x0 Mul Pow Pow Add asinh x7 x0 x0 Add acot x0 -1 Add Mul acot x0 Mul Pow Add asinh x7 x0 Add x0 -1 Add x0 Mul Add asinh x7 x0 log Add asinh x7 x0 Mul Mul Pow Add asinh x7 x0 x0 log Pow Add asinh x7 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Pow Add asinh x7 x0 x0 acot x0 Pow Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 -1 Mul Mul cos coth Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 log cos coth Pow log Mul Pow Pow Add asinh x7 x0 x0 acot x0 x0 x3 Mul tanh x0 Mul -1 sech x0 