Mul Mul sqrt Add Mul -4 acosh Pow x0 atanh x5 Mul x0 3 asech Add x3 3 Mul x0 -1 
Add Mul Mul x0 -1 Mul asech Add x3 3 Mul Pow Mul 2 sqrt Add Mul -4 acosh Pow x0 atanh x5 Mul x0 3 -1 Add Mul -4 Mul Mul Pow x0 Add atanh x5 -1 atanh x5 Pow Mul sqrt Add Pow x0 atanh x5 -1 sqrt Add 1 Pow x0 atanh x5 -1 3 Mul Mul sqrt Add Mul -4 acosh Pow x0 atanh x5 Mul x0 3 asech Add x3 3 -1 