Add csc x0 Add Mul Pow x0 Pow Mul x5 -3 x0 pi atanh Mul acos E x0 
Add Mul Mul -1 cot x0 csc x0 Add Mul pi Mul Pow x0 Add Pow Mul x5 -3 x0 -1 Add Pow Mul x5 -3 x0 Mul Mul x0 log x0 Mul Pow Mul x5 -3 Add x0 -1 Mul Mul x5 -3 log Mul x5 -3 Mul acos E Pow Add 1 Mul -1 Mul Mul acos E x0 Mul acos E x0 -1 