Mul Mul Pow Mul x0 acosh x0 asinh x0 pi Add Add x3 x0 Add Pow Pow x0 pi 4 atanh x0 
Add Mul Add Add x3 x0 Add Pow Pow x0 pi 4 atanh x0 Mul pi Mul Pow Mul x0 acosh x0 Add asinh x0 -1 Add Mul asinh x0 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul x0 acosh x0 log Mul x0 acosh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Pow Mul x0 acosh x0 asinh x0 pi Add 1 Add Mul Pow Pow x0 pi 3 Mul 4 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul x0 x0 -1 