atanh Mul Pow Add 20.4732123908826 x6 x0 asec x6 
Mul Mul asec x6 Mul Pow Add 20.4732123908826 x6 Add x0 -1 Mul Add 20.4732123908826 x6 log Add 20.4732123908826 x6 Pow Add 1 Mul -1 Mul Mul Pow Add 20.4732123908826 x6 x0 asec x6 Mul Pow Add 20.4732123908826 x6 x0 asec x6 -1 