acosh Pow log x0 Mul Add Pow Add x5 x0 acot x0 -4 Mul x5 acos pi 
Mul Mul Pow log x0 Add Mul Add Pow Add x5 x0 acot x0 -4 Mul x5 acos pi -1 Add Mul Mul Add Pow Add x5 x0 acot x0 -4 Mul x5 acos pi Pow x0 -1 Mul Mul log x0 log log x0 Mul Mul x5 acos pi Mul Pow Add x5 x0 Add acot x0 -1 Add acot x0 Mul Mul Add x5 x0 log Add x5 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow log x0 Mul Add Pow Add x5 x0 acot x0 -4 Mul x5 acos pi -1 sqrt Add 1 Pow log x0 Mul Add Pow Add x5 x0 acot x0 -4 Mul x5 acos pi -1 