asech Pow x6 Add E cos Mul exp x0 sqrt Pow x0 3 
Mul Mul Pow x6 Add Add E cos Mul exp x0 sqrt Pow x0 3 -1 Mul Mul x6 log x6 Mul Mul -1 sin Mul exp x0 sqrt Pow x0 3 Add Mul sqrt Pow x0 3 exp x0 Mul exp x0 Mul Pow Mul 2 sqrt Pow x0 3 -1 Mul Pow x0 2 3 Pow Mul Mul Pow x6 Add E cos Mul exp x0 sqrt Pow x0 3 Pow x6 Add E cos Mul exp x0 sqrt Pow x0 3 sqrt Add 1 Mul -1 Pow Mul Pow x6 Add E cos Mul exp x0 sqrt Pow x0 3 Pow x6 Add E cos Mul exp x0 sqrt Pow x0 3 -1 -1 