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