Mul x4 Mul Pow 2 Mul Add x0 x0 Pow acot Mul x0 x4 x6 sech acsch pi 
Mul x4 Mul sech acsch pi Mul Pow 2 Add Mul Add x0 x0 Pow acot Mul x0 x4 x6 -1 Mul 2.69314718055995 Add Mul Pow acot Mul x0 x4 x6 2 Mul Add x0 x0 Mul Pow acot Mul x0 x4 Add x6 -1 Mul x6 Mul -1 Mul x4 Pow Add 1 Mul Mul x0 x4 Mul x0 x4 -1 