acot Add log Pow Pow acoth Pow x0 asinh x3 -2 cot Mul x0 Add Mul x0 exp x1 E x0 
Mul -1 Mul Add Mul Mul Pow Pow acoth Pow x0 asinh x3 -2 Add cot Mul x0 Add Mul x0 exp x1 E -1 Add Mul cot Mul x0 Add Mul x0 exp x1 E Mul Pow acoth Pow x0 asinh x3 3 Mul -2 Mul Mul Pow x0 Add asinh x3 -1 asinh x3 Pow Add 1 Mul -1 Mul Pow x0 asinh x3 Pow x0 asinh x3 -1 Mul Mul Pow acoth Pow x0 asinh x3 -2 log Pow acoth Pow x0 asinh x3 -2 Mul Mul -1 Pow csc Mul x0 Add Mul x0 exp x1 E 2 Add Add Mul x0 exp x1 E Mul x0 exp x1 Pow Pow Pow acoth Pow x0 asinh x3 -2 cot Mul x0 Add Mul x0 exp x1 E -1 1 Pow Add 1 Mul Add log Pow Pow acoth Pow x0 asinh x3 -2 cot Mul x0 Add Mul x0 exp x1 E x0 Add log Pow Pow acoth Pow x0 asinh x3 -2 cot Mul x0 Add Mul x0 exp x1 E x0 -1 