Add Pow x3 Add x6 Pow Mul acsch x0 atan Add x0 4 x0 Mul x0 asec Mul x0 Mul Mul x0 x1 x0 
Add Mul Pow x3 Add Add x6 Pow Mul acsch x0 atan Add x0 4 x0 -1 Mul Mul x3 log x3 Mul Pow Mul acsch x0 atan Add x0 4 Add x0 -1 Add Mul x0 Add Mul atan Add x0 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Pow Add 1 Mul Add x0 4 Add x0 4 -1 Mul Mul acsch x0 atan Add x0 4 log Mul acsch x0 atan Add x0 4 Add asec Mul x0 Mul Mul x0 x1 x0 Mul x0 Mul Add Mul Mul x0 x1 x0 Mul x0 Add Mul x0 x1 Mul x0 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul Mul x0 x1 x0 Mul x0 Mul Mul x0 x1 x0 -1 Mul x0 Mul Mul x0 x1 x0 Mul x0 Mul Mul x0 x1 x0 -1 