Add Pow x0 Pow Pow Mul 3 sqrt x4 -1 3 Pow Mul acosh x0 asech cbrt asin Add x3 E x0 
Add Mul Pow x0 Add Pow Pow Mul 3 sqrt x4 -1 3 -1 Pow Pow Mul 3 sqrt x4 -1 3 Mul Pow Mul acosh x0 asech cbrt asin Add x3 E Add x0 -1 Add Mul x0 Mul asech cbrt asin Add x3 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 asech cbrt asin Add x3 E log Mul acosh x0 asech cbrt asin Add x3 E 