Add Mul Pow x0 Add x6 E asinh x6 exp Mul 4 Mul Mul Mul x0 Mul -4 x0 0.999909204262595 asec pi 
Add Mul asinh x6 Mul Pow x0 Add Add x6 E -1 Add x6 E Mul exp Mul 4 Mul Mul Mul x0 Mul -4 x0 0.999909204262595 asec pi Mul 4 Mul asec pi Mul 0.999909204262595 Add Mul -4 x0 Mul x0 -4 