Mul x0 Add Pow Add Mul x2 x0 acsch acos pi x0 -4 
Add Add Pow Add Mul x2 x0 acsch acos pi x0 -4 Mul x0 Mul Pow Add Mul x2 x0 acsch acos pi Add x0 -1 Add Mul x0 x2 Mul Add Mul x2 x0 acsch acos pi log Add Mul x2 x0 acsch acos pi 