Pow sqrt x0 atanh Pow Add asin Mul x0 x0 Add x0 x0 asinh cosh x5 
Mul Pow sqrt x0 Add atanh Pow Add asin Mul x0 x0 Add x0 x0 asinh cosh x5 -1 Add Mul atanh Pow Add asin Mul x0 x0 Add x0 x0 asinh cosh x5 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Mul Pow Add asin Mul x0 x0 Add x0 x0 Add asinh cosh x5 -1 Mul asinh cosh x5 Add Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 2 Pow Add 1 Mul -1 Mul Pow Add asin Mul x0 x0 Add x0 x0 asinh cosh x5 Pow Add asin Mul x0 x0 Add x0 x0 asinh cosh x5 -1 