Add pi Add asinh x0 Pow asinh x0 Add Add asin sinh x0 x0 sin x0 
Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow asinh x0 Add Add Add asin sinh x0 x0 sin x0 -1 Add Mul Add Add asin sinh x0 x0 sin x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Add Add Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 1 cos x0 