log acot Add cot x0 Mul x5 Pow x5 asinh x0 
Mul Mul -1 Mul Add Mul -1 Pow csc x0 2 Mul x5 Mul Pow x5 Add asinh x0 -1 Mul Mul x5 log x5 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add cot x0 Mul x5 Pow x5 asinh x0 Add cot x0 Mul x5 Pow x5 asinh x0 -1 Pow acot Add cot x0 Mul x5 Pow x5 asinh x0 -1 