Mul acoth Add sin cos Mul x0 asin x1 Add 1 x3 pi 
Mul pi Mul Mul cos cos Mul x0 asin x1 Mul Mul -1 sin Mul x0 asin x1 asin x1 Pow Add 1 Mul -1 Mul Add sin cos Mul x0 asin x1 Add 1 x3 Add sin cos Mul x0 asin x1 Add 1 x3 -1 