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