Mul x7 Mul Mul Add acos Mul Add x6 x0 Pow x0 -4 x0 64 acsch pi 
Mul x7 Mul acsch pi Mul 64 Add Mul -1 Mul Add Pow x0 -4 Mul Add x6 x0 Mul Pow x0 5 -4 Pow sqrt Add 1 Mul -1 Mul Mul Add x6 x0 Pow x0 -4 Mul Add x6 x0 Pow x0 -4 -1 1 