Pow acosh asec Add x1 -0.999909204262595 Add Mul pi x4 x0 
Mul Pow acosh asec Add x1 -0.999909204262595 Add Add Mul pi x4 x0 -1 Mul acosh asec Add x1 -0.999909204262595 log acosh asec Add x1 -0.999909204262595 