sin acoth Pow Pow asech acos Pow pi -4.48121182505960 Mul x0 x1 pi 
Mul cos acoth Pow Pow asech acos Pow pi -4.48121182505960 Mul x0 x1 pi Mul Mul Pow Pow asech acos Pow pi -4.48121182505960 Mul x0 x1 Add pi -1 Mul pi Mul Pow asech acos Pow pi -4.48121182505960 Add Mul x0 x1 -1 Mul Mul asech acos Pow pi -4.48121182505960 log asech acos Pow pi -4.48121182505960 x1 Pow Add 1 Mul -1 Mul Pow Pow asech acos Pow pi -4.48121182505960 Mul x0 x1 pi Pow Pow asech acos Pow pi -4.48121182505960 Mul x0 x1 pi -1 