Mul x0 Add acos acsch Pow acot acos Add -0.812713106058113 x0 Add 16 x0 Add x0 cot x0 
Add Add acos acsch Pow acot acos Add -0.812713106058113 x0 Add 16 x0 Add x0 cot x0 Mul x0 Add Mul -1 Mul Mul Mul -1 Mul Pow acot acos Add -0.812713106058113 x0 Add Add 16 x0 -1 Add Mul Add 16 x0 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add -0.812713106058113 x0 Add -0.812713106058113 x0 -1 Pow Add 1 Mul acos Add -0.812713106058113 x0 acos Add -0.812713106058113 x0 -1 Mul acot acos Add -0.812713106058113 x0 log acot acos Add -0.812713106058113 x0 Pow Mul Mul Pow acot acos Add -0.812713106058113 x0 Add 16 x0 Pow acot acos Add -0.812713106058113 x0 Add 16 x0 sqrt Add 1 Mul -1 Pow Mul Pow acot acos Add -0.812713106058113 x0 Add 16 x0 Pow acot acos Add -0.812713106058113 x0 Add 16 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch Pow acot acos Add -0.812713106058113 x0 Add 16 x0 acsch Pow acot acos Add -0.812713106058113 x0 Add 16 x0 -1 Add 1 Mul -1 Pow csc x0 2 