Add x0 Mul -4 Mul Add Mul x2 Mul Pow 4 acsch x3 x3 1.41421356237310 Add Pow x0 Add x0 x5 x0 
Add 1 Mul -4 Mul Add Mul x2 Mul Pow 4 acsch x3 x3 1.41421356237310 Add Mul Pow x0 Add Add x0 x5 -1 Add Add x0 x5 Mul x0 log x0 1 