Pow x1 Pow Add 0.852028394054972 x0 Add Add cot atan x0 2 4 
Mul Pow x1 Add Pow Add 0.852028394054972 x0 Add Add cot atan x0 2 4 -1 Mul Mul x1 log x1 Mul Pow Add 0.852028394054972 x0 Add Add Add cot atan x0 2 4 -1 Add Add Add cot atan x0 2 4 Mul Mul Add 0.852028394054972 x0 log Add 0.852028394054972 x0 Mul Mul -1 Pow csc atan x0 2 Pow Add 1 Mul x0 x0 -1 