Mul x0 Mul x0 Mul x0 Add acot Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 1 
Add Mul x0 Mul x0 Add acot Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 1 Mul x0 Add Mul x0 Add acot Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 1 Mul x0 Add Add acot Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 1 Mul x0 Mul -1 Mul Mul Pow Mul Add x0 Add x1 x5 x0 Add acoth x7 -1 Mul acoth x7 Add x0 Add x0 Add x1 x5 Pow Add 1 Mul Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 Add Pow Mul Add x0 Add x1 x5 x0 acoth x7 sech x1 -1 