Mul acos x0 Pow tan acot x0 3.38051500624659 
Add Mul Pow tan acot x0 3.38051500624659 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow tan acot x0 2.38051500624659 Mul 3.38051500624659 Mul Pow sec acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 