acosh Mul tan Add Add x0 Add x0 Add x6 asech x6 acot Mul Add x0 x0 E x0 
Mul Add Mul x0 Mul Pow sec Add Add x0 Add x0 Add x6 asech x6 acot Mul Add x0 x0 E 2 Add 2 Mul -1 Mul Mul E 2 Pow Add 1 Mul Mul Add x0 x0 E Mul Add x0 x0 E -1 tan Add Add x0 Add x0 Add x6 asech x6 acot Mul Add x0 x0 E Pow Mul sqrt Add Mul tan Add Add x0 Add x0 Add x6 asech x6 acot Mul Add x0 x0 E x0 -1 sqrt Add 1 Mul tan Add Add x0 Add x0 Add x6 asech x6 acot Mul Add x0 x0 E x0 -1 