Add Add Pow x0 x0 Add acos Pow asinh E x0 Mul pi x0 asinh x0 
Add Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul -1 Mul Mul Pow asinh E Add x0 -1 Mul asinh E log asinh E Pow sqrt Add 1 Mul -1 Mul Pow asinh E x0 Pow asinh E x0 -1 pi Pow sqrt Add 1 Mul x0 x0 -1 