acos acoth Mul Mul x0 Mul x0 x0 Add asin sin x0 x0 
Mul -1 Mul Mul Add Mul Add asin sin x0 x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul x0 Mul x0 x0 Add Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 1 Pow Add 1 Mul -1 Mul Mul Mul x0 Mul x0 x0 Add asin sin x0 x0 Mul Mul x0 Mul x0 x0 Add asin sin x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul Mul x0 Mul x0 x0 Add asin sin x0 x0 acoth Mul Mul x0 Mul x0 x0 Add asin sin x0 x0 -1 