Add Add x0 log Mul Add x0 x1 acot Mul Add x0 x0 Add acosh Mul x0 4 Pow x7 4 4 
Add 1 Mul Add acot Mul Add x0 x0 Add acosh Mul x0 4 Pow x7 4 Mul Add x0 x1 Mul -1 Mul Add Mul Add acosh Mul x0 4 Pow x7 4 2 Mul Add x0 x0 Mul 4 Pow Mul sqrt Add Mul x0 4 -1 sqrt Add 1 Mul x0 4 -1 Pow Add 1 Mul Mul Add x0 x0 Add acosh Mul x0 4 Pow x7 4 Mul Add x0 x0 Add acosh Mul x0 4 Pow x7 4 -1 Pow Mul Add x0 x1 acot Mul Add x0 x0 Add acosh Mul x0 4 Pow x7 4 -1 