Pow cos acoth Mul -0.642092615934331 E Add x0 Mul x0 x0 
Mul Pow cos acoth Mul -0.642092615934331 E Add Add x0 Mul x0 x0 -1 Mul Mul cos acoth Mul -0.642092615934331 E log cos acoth Mul -0.642092615934331 E Add 1 Add x0 x0 