Add Mul -3 x4 Pow Pow cos Add x0 x5 Add acos x0 x4 atanh E 
Mul Pow Pow cos Add x0 x5 Add acos x0 x4 Add atanh E -1 Mul atanh E Mul Pow cos Add x0 x5 Add Add acos x0 x4 -1 Add Mul Add acos x0 x4 Mul -1 sin Add x0 x5 Mul Mul cos Add x0 x5 log cos Add x0 x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 