Add Pow acos Mul Add pi Mul x0 log x0 cos x6 acoth Add 1 x0 atanh pi 
Mul Pow acos Mul Add pi Mul x0 log x0 cos x6 Add acoth Add 1 x0 -1 Add Mul acoth Add 1 x0 Mul -1 Mul Mul cos x6 Add log x0 Mul x0 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Add pi Mul x0 log x0 cos x6 Mul Add pi Mul x0 log x0 cos x6 -1 Mul Mul acos Mul Add pi Mul x0 log x0 cos x6 log acos Mul Add pi Mul x0 log x0 cos x6 Pow Add 1 Mul -1 Mul Add 1 x0 Add 1 x0 -1 