Mul atanh Add Pow acoth acos x0 Mul x0 x1 Pow pi x3 Pow csc x0 Add x0 sin asin x0 
Add Mul Pow csc x0 Add x0 sin asin x0 Mul Mul Pow acoth acos x0 Add Mul x0 x1 -1 Add Mul Mul x0 x1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Mul acoth acos x0 log acoth acos x0 x1 Pow Add 1 Mul -1 Mul Add Pow acoth acos x0 Mul x0 x1 Pow pi x3 Add Pow acoth acos x0 Mul x0 x1 Pow pi x3 -1 Mul atanh Add Pow acoth acos x0 Mul x0 x1 Pow pi x3 Mul Pow csc x0 Add Add x0 sin asin x0 -1 Add Mul Add x0 sin asin x0 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Add 1 Mul cos asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 