Mul x0 Pow acsch x0 exp Add Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add x2 x5 x5 pi 
Add Pow acsch x0 exp Add Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add x2 x5 x5 pi Mul x0 Mul Pow acsch x0 Add exp Add Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add x2 x5 x5 pi -1 Add Mul exp Add Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add x2 x5 x5 pi Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul acsch x0 log acsch x0 Mul exp Add Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add x2 x5 x5 pi Mul x5 Mul Pow Add 4 Add x0 Mul x0 acos Pow Pow x0 -5 Add x0 4 Add Add x2 x5 -1 Mul Add x2 x5 Add 1 Add acos Pow Pow x0 -5 Add x0 4 Mul x0 Mul -1 Mul Mul Pow Pow x0 -5 Add Add x0 4 -1 Add Mul Add x0 4 Mul Pow x0 6 -5 Mul Pow x0 -5 log Pow x0 -5 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 -5 Add x0 4 Pow Pow x0 -5 Add x0 4 -1 