Mul x0 Add acos x0 cos Pow Add x0 cot sqrt Add asin x7 Mul Pow 4 pi atanh x0 -2 
Add Add acos x0 cos Pow Add x0 cot sqrt Add asin x7 Mul Pow 4 pi atanh x0 -2 Mul x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 sin Pow Add x0 cot sqrt Add asin x7 Mul Pow 4 pi atanh x0 -2 Mul Pow Add x0 cot sqrt Add asin x7 Mul Pow 4 pi atanh x0 3 Mul -2 Add 1 Mul Mul -1 Pow csc sqrt Add asin x7 Mul Pow 4 pi atanh x0 2 Mul Pow Mul 2 sqrt Add asin x7 Mul Pow 4 pi atanh x0 -1 Mul Pow 4 pi Pow Add 1 Mul -1 Mul x0 x0 -1 