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