acsc Add x7 Pow Pow acoth x0 pi 1.41421356237310 
Mul -1 Mul Mul Pow Pow acoth x0 pi 0.414213562373095 Mul 1.41421356237310 Mul Pow acoth x0 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x7 Pow Pow acoth x0 pi 1.41421356237310 Add x7 Pow Pow acoth x0 pi 1.41421356237310 -1 Add x7 Pow Pow acoth x0 pi 1.41421356237310 Add x7 Pow Pow acoth x0 pi 1.41421356237310 -1 