Pow x4 Mul Mul exp Mul x0 asech x1 x0 cos Mul -1 E 
Mul Pow x4 Add Mul Mul exp Mul x0 asech x1 x0 cos Mul -1 E -1 Mul Mul x4 log x4 Mul cos Mul -1 E Add Mul x0 Mul exp Mul x0 asech x1 asech x1 exp Mul x0 asech x1 