Mul 2 Mul cos Pow asech Add cot exp x4 x7 x0 asec x5 
Mul 2 Mul asec x5 Mul Mul -1 sin Pow asech Add cot exp x4 x7 x0 Mul Pow asech Add cot exp x4 x7 Add x0 -1 Mul asech Add cot exp x4 x7 log asech Add cot exp x4 x7 