Mul x0 Mul Pow x0 asin Add 4 x0 log Pow Add acos pi Mul x4 Mul -4 x0 Add csch x1 x0 
Add Mul Pow x0 asin Add 4 x0 log Pow Add acos pi Mul x4 Mul -4 x0 Add csch x1 x0 Mul x0 Add Mul log Pow Add acos pi Mul x4 Mul -4 x0 Add csch x1 x0 Mul Pow x0 Add asin Add 4 x0 -1 Add asin Add 4 x0 Mul Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Add 4 x0 Add 4 x0 -1 Mul Pow x0 asin Add 4 x0 Mul Mul Pow Add acos pi Mul x4 Mul -4 x0 Add Add csch x1 x0 -1 Add Mul Add csch x1 x0 Mul x4 -4 Mul Add acos pi Mul x4 Mul -4 x0 log Add acos pi Mul x4 Mul -4 x0 Pow Pow Add acos pi Mul x4 Mul -4 x0 Add csch x1 x0 -1 