exp log Mul x0 Add acoth cot acos log Mul x0 x0 x0 
Mul exp log Mul x0 Add acoth cot acos log Mul x0 x0 x0 Mul Add Add acoth cot acos log Mul x0 x0 x0 Mul x0 Add Mul Mul Mul -1 Pow csc acos log Mul x0 x0 2 Mul -1 Mul Mul Add x0 x0 Pow Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul log Mul x0 x0 log Mul x0 x0 -1 Pow Add 1 Mul -1 Mul cot acos log Mul x0 x0 cot acos log Mul x0 x0 -1 1 Pow Mul x0 Add acoth cot acos log Mul x0 x0 x0 -1 