exp Add tan Add Mul x1 2 Pow E -3 asech Pow x0 -4 
Mul exp Add tan Add Mul x1 2 Pow E -3 asech Pow x0 -4 Mul Mul Pow x0 5 -4 Pow Mul Mul Pow x0 -4 Pow x0 -4 sqrt Add 1 Mul -1 Pow Mul Pow x0 -4 Pow x0 -4 -1 -1 