Add Mul x3 Pow Mul acsch x3 Mul Mul asec Pow Pow x3 x4 x1 x1 x0 x0 Mul -4 Mul Mul asinh x0 atanh x0 -1 
Add Mul x3 Mul Pow Mul acsch x3 Mul Mul asec Pow Pow x3 x4 x1 x1 x0 Add x0 -1 Add Mul x0 Mul acsch x3 Mul asec Pow Pow x3 x4 x1 x1 Mul Mul acsch x3 Mul Mul asec Pow Pow x3 x4 x1 x1 x0 log Mul acsch x3 Mul Mul asec Pow Pow x3 x4 x1 x1 x0 Mul -4 Mul -1 Add Mul atanh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 