Mul 5 Add Mul Pow x0 x7 Add Mul Mul asinh pi 5 Mul x0 Mul x0 Add x0 x7 x0 asinh Mul -2 x0 
Mul 5 Add Add Mul Add Mul Mul asinh pi 5 Mul x0 Mul x0 Add x0 x7 x0 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Add Mul Mul asinh pi 5 Add Mul x0 Add x0 x7 Mul x0 Add Add x0 x7 x0 1 Mul -2 Pow sqrt Add 1 Mul Mul -2 x0 Mul -2 x0 -1 