Pow sqrt atanh asech asec Mul exp Add x4 4 Mul x0 x4 log x0 
Mul Pow sqrt atanh asech asec Mul exp Add x4 4 Mul x0 x4 Add log x0 -1 Add Mul log x0 Mul Pow Mul 2 sqrt atanh asech asec Mul exp Add x4 4 Mul x0 x4 -1 Mul Mul Mul Mul exp Add x4 4 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul exp Add x4 4 Mul x0 x4 Mul exp Add x4 4 Mul x0 x4 -1 Mul exp Add x4 4 Mul x0 x4 Mul exp Add x4 4 Mul x0 x4 -1 Pow Mul Mul asec Mul exp Add x4 4 Mul x0 x4 asec Mul exp Add x4 4 Mul x0 x4 sqrt Add 1 Mul -1 Pow Mul asec Mul exp Add x4 4 Mul x0 x4 asec Mul exp Add x4 4 Mul x0 x4 -1 -1 Pow Add 1 Mul -1 Mul asech asec Mul exp Add x4 4 Mul x0 x4 asech asec Mul exp Add x4 4 Mul x0 x4 -1 Mul Mul sqrt atanh asech asec Mul exp Add x4 4 Mul x0 x4 log sqrt atanh asech asec Mul exp Add x4 4 Mul x0 x4 Pow x0 -1 