Mul Pow cos Add exp x4 log atanh pi acos Mul -2 exp x0 x0 
Add Mul x0 Mul Pow cos Add exp x4 log atanh pi Add acos Mul -2 exp x0 -1 Mul Mul cos Add exp x4 log atanh pi log cos Add exp x4 log atanh pi Mul -1 Mul Mul -2 exp x0 Pow sqrt Add 1 Mul -1 Mul Mul -2 exp x0 Mul -2 exp x0 -1 Pow cos Add exp x4 log atanh pi acos Mul -2 exp x0 