Pow Mul acos Add x4 2 Pow Mul asec Add x4 acos E -4 acsch x7 Add Mul x2 x0 x0 
Mul Pow Mul acos Add x4 2 Pow Mul asec Add x4 acos E -4 acsch x7 Add Add Mul x2 x0 x0 -1 Mul Mul Mul acos Add x4 2 Pow Mul asec Add x4 acos E -4 acsch x7 log Mul acos Add x4 2 Pow Mul asec Add x4 acos E -4 acsch x7 Add x2 1 