acot Mul sin sqrt Pow x0 1.37573964432970 acot x0 
Mul -1 Mul Add Mul acot x0 Mul cos sqrt Pow x0 1.37573964432970 Mul Pow Mul 2 sqrt Pow x0 1.37573964432970 -1 Mul Pow x0 0.375739644329703 1.37573964432970 Mul sin sqrt Pow x0 1.37573964432970 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul sin sqrt Pow x0 1.37573964432970 acot x0 Mul sin sqrt Pow x0 1.37573964432970 acot x0 -1 