Mul x3 asinh Add Mul x0 acot exp cot Add x0 x3 -2 
Mul x3 Mul Add acot exp cot Add x0 x3 Mul x0 Mul -1 Mul Mul exp cot Add x0 x3 Mul -1 Pow csc Add x0 x3 2 Pow Add 1 Mul exp cot Add x0 x3 exp cot Add x0 x3 -1 Pow sqrt Add 1 Mul Add Mul x0 acot exp cot Add x0 x3 -2 Add Mul x0 acot exp cot Add x0 x3 -2 -1 