Mul x0 Add acot Pow Mul x0 sqrt sin Mul 2 Add x0 acos x0 sinh x7 x4 
Add Add acot Pow Mul x0 sqrt sin Mul 2 Add x0 acos x0 sinh x7 x4 Mul x0 Mul -1 Mul Mul Pow Mul x0 sqrt sin Mul 2 Add x0 acos x0 Add sinh x7 -1 Mul sinh x7 Add sqrt sin Mul 2 Add x0 acos x0 Mul x0 Mul Pow Mul 2 sqrt sin Mul 2 Add x0 acos x0 -1 Mul cos Mul 2 Add x0 acos x0 Mul 2 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Mul x0 sqrt sin Mul 2 Add x0 acos x0 sinh x7 Pow Mul x0 sqrt sin Mul 2 Add x0 acos x0 sinh x7 -1 