Mul Pow cot Mul sqrt x4 x5 Mul x0 atanh Add x0 x3 Pow Mul x5 x0 x0 
Add Mul Pow Mul x5 x0 x0 Mul Pow cot Mul sqrt x4 x5 Add Mul x0 atanh Add x0 x3 -1 Mul Mul cot Mul sqrt x4 x5 log cot Mul sqrt x4 x5 Add atanh Add x0 x3 Mul x0 Pow Add 1 Mul -1 Mul Add x0 x3 Add x0 x3 -1 Mul Pow cot Mul sqrt x4 x5 Mul x0 atanh Add x0 x3 Mul Pow Mul x5 x0 Add x0 -1 Add Mul x0 x5 Mul Mul x5 x0 log Mul x5 x0 