Pow Pow Add acosh Mul x0 4 x0 exp atan acosh acot asin Add E cosh x0 x0 
Mul Pow Pow Add acosh Mul x0 4 x0 exp atan acosh acot asin Add E cosh x0 Add x0 -1 Add Mul x0 Mul Pow Add acosh Mul x0 4 x0 Add exp atan acosh acot asin Add E cosh x0 -1 Add Mul exp atan acosh acot asin Add E cosh x0 Add Mul 4 Pow Mul sqrt Add Mul x0 4 -1 sqrt Add 1 Mul x0 4 -1 1 Mul Mul Add acosh Mul x0 4 x0 log Add acosh Mul x0 4 x0 Mul exp atan acosh acot asin Add E cosh x0 Mul Mul Mul -1 Mul Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul Add E cosh x0 Add E cosh x0 -1 Pow Add 1 Mul asin Add E cosh x0 asin Add E cosh x0 -1 Pow Mul sqrt Add acot asin Add E cosh x0 -1 sqrt Add 1 acot asin Add E cosh x0 -1 Pow Add 1 Mul acosh acot asin Add E cosh x0 acosh acot asin Add E cosh x0 -1 Mul Pow Add acosh Mul x0 4 x0 exp atan acosh acot asin Add E cosh x0 log Pow Add acosh Mul x0 4 x0 exp atan acosh acot asin Add E cosh x0 