Add Mul Pow csc asinh Mul x0 2 sinh x0 x0 x0 
Add Add Mul x0 Mul Pow csc asinh Mul x0 2 Add sinh x0 -1 Add Mul sinh x0 Mul Mul Mul -1 cot asinh Mul x0 2 csc asinh Mul x0 2 Mul 2 Pow sqrt Add 1 Mul Mul x0 2 Mul x0 2 -1 Mul Mul csc asinh Mul x0 2 log csc asinh Mul x0 2 cosh x0 Pow csc asinh Mul x0 2 sinh x0 1 