Add pi Mul Add x0 log Mul Mul x1 sqrt x0 Mul Add x2 cot Add Mul pi x0 Add atan x0 acosh x0 x0 x6 
Mul x6 Add 1 Mul Add Mul Mul Add x2 cot Add Mul pi x0 Add atan x0 acosh x0 x0 Mul x1 Pow Mul 2 sqrt x0 -1 Mul Mul x1 sqrt x0 Add Mul x0 Mul Mul -1 Pow csc Add Mul pi x0 Add atan x0 acosh x0 2 Add pi Add Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add x2 cot Add Mul pi x0 Add atan x0 acosh x0 Pow Mul Mul x1 sqrt x0 Mul Add x2 cot Add Mul pi x0 Add atan x0 acosh x0 x0 -1 