Add Add -2 x4 asin acoth Pow x0 cos Pow Pow x0 2 x3 
Mul Mul Mul Pow x0 Add cos Pow Pow x0 2 x3 -1 Add cos Pow Pow x0 2 x3 Mul Mul x0 log x0 Mul Mul -1 sin Pow Pow x0 2 x3 Mul Pow Pow x0 2 Add x3 -1 Mul x3 Mul x0 2 Pow Add 1 Mul -1 Mul Pow x0 cos Pow Pow x0 2 x3 Pow x0 cos Pow Pow x0 2 x3 -1 Pow sqrt Add 1 Mul -1 Mul acoth Pow x0 cos Pow Pow x0 2 x3 acoth Pow x0 cos Pow Pow x0 2 x3 -1 