Add x1 Pow Mul exp x3 E Pow atan acsch asec x0 tan x3 
Mul Pow Mul exp x3 E Add Pow atan acsch asec x0 tan x3 -1 Mul Mul Mul exp x3 E log Mul exp x3 E Mul Pow atan acsch asec x0 Add tan x3 -1 Mul tan x3 Mul Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul asec x0 asec x0 sqrt Add 1 Mul -1 Pow Mul asec x0 asec x0 -1 -1 Pow Add 1 Mul acsch asec x0 acsch asec x0 -1 