Pow x1 sec atanh Add Add sqrt x3 exp x0 x0 
Mul Pow x1 Add sec atanh Add Add sqrt x3 exp x0 x0 -1 Mul Mul x1 log x1 Mul Mul tan atanh Add Add sqrt x3 exp x0 x0 sec atanh Add Add sqrt x3 exp x0 x0 Mul Add exp x0 1 Pow Add 1 Mul -1 Mul Add Add sqrt x3 exp x0 x0 Add Add sqrt x3 exp x0 x0 -1 