log Mul Mul x0 Mul acot sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 x2 Add x0 Mul 5 x0 
Mul Add Mul Add x0 Mul 5 x0 Add Mul acot sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 x2 Mul x0 Mul x2 Mul -1 Mul Mul Pow Mul 2 sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 -1 Mul 4 Mul Pow Mul x0 x3 Add Add x3 x0 -1 Add Mul Add x3 x0 x3 Mul Mul x0 x3 log Mul x0 x3 Pow Add 1 Mul sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 -1 Mul Mul x0 Mul acot sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 x2 6 Pow Mul Mul x0 Mul acot sqrt Mul 4 Add acsch x2 Pow Mul x0 x3 Add x3 x0 x2 Add x0 Mul 5 x0 -1 