Add Pow csc Add acos x0 pi pi csch acoth Mul x0 asin x3 
Add Mul Pow csc Add acos x0 pi Add pi -1 Mul pi Mul Mul Mul -1 cot Add acos x0 pi csc Add acos x0 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul -1 coth acoth Mul x0 asin x3 csch acoth Mul x0 asin x3 Mul asin x3 Pow Add 1 Mul -1 Mul Mul x0 asin x3 Mul x0 asin x3 -1 