atan Add Pow Pow asech sinh x7 -0.999909204262595 x0 x3 
Mul Mul Pow Pow asech sinh x7 -0.999909204262595 Add x0 -1 Mul Pow asech sinh x7 -0.999909204262595 log Pow asech sinh x7 -0.999909204262595 Pow Add 1 Mul Add Pow Pow asech sinh x7 -0.999909204262595 x0 x3 Add Pow Pow asech sinh x7 -0.999909204262595 x0 x3 -1 