Mul Pow 3 Mul acosh acot Add Add x7 5 x0 Add Add x0 Add x0 x0 1 x0 
Add Mul x0 Mul Pow 3 Add Mul acosh acot Add Add x7 5 x0 Add Add x0 Add x0 x0 1 -1 Mul 4.09861228866811 Add Mul Add Add x0 Add x0 x0 1 Mul Mul -1 Pow Add 1 Mul Add Add x7 5 x0 Add Add x7 5 x0 -1 Pow Mul sqrt Add acot Add Add x7 5 x0 -1 sqrt Add 1 acot Add Add x7 5 x0 -1 Mul acosh acot Add Add x7 5 x0 3 Pow 3 Mul acosh acot Add Add x7 5 x0 Add Add x0 Add x0 x0 1 