Add Mul acos Add x2 sec sqrt x0 x7 csch Pow x5 asech Mul x3 E 
Mul x7 Mul -1 Mul Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x2 sec sqrt x0 Add x2 sec sqrt x0 -1 