Mul Add -4 acos acsch asin acot Add x0 Add x4 Pow acosh E Add x0 -4 Mul x0 x3 
Add Mul Mul x0 x3 Mul -1 Mul Mul Mul -1 Mul Mul -1 Mul Add 1 Mul Pow acosh E Add Add x0 -4 -1 Mul acosh E log acosh E Pow Add 1 Mul Add x0 Add x4 Pow acosh E Add x0 -4 Add x0 Add x4 Pow acosh E Add x0 -4 -1 Pow sqrt Add 1 Mul -1 Mul acot Add x0 Add x4 Pow acosh E Add x0 -4 acot Add x0 Add x4 Pow acosh E Add x0 -4 -1 Pow Mul Mul asin acot Add x0 Add x4 Pow acosh E Add x0 -4 asin acot Add x0 Add x4 Pow acosh E Add x0 -4 sqrt Add 1 Mul -1 Pow Mul asin acot Add x0 Add x4 Pow acosh E Add x0 -4 asin acot Add x0 Add x4 Pow acosh E Add x0 -4 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch asin acot Add x0 Add x4 Pow acosh E Add x0 -4 acsch asin acot Add x0 Add x4 Pow acosh E Add x0 -4 -1 Mul Add -4 acos acsch asin acot Add x0 Add x4 Pow acosh E Add x0 -4 x3 