Mul Pow Pow Add atan acot x0 Add x0 sin x0 x0 5.60943791243410 Mul pi x0 
Add Mul Mul pi x0 Mul Pow Pow Add atan acot x0 Add x0 sin x0 x0 4.60943791243410 Mul 5.60943791243410 Mul Pow Add atan acot x0 Add x0 sin x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Add 1 cos x0 Mul Add atan acot x0 Add x0 sin x0 log Add atan acot x0 Add x0 sin x0 Mul Pow Pow Add atan acot x0 Add x0 sin x0 x0 5.60943791243410 pi 