Pow sec x4 acot Mul Add Add atanh x0 Add x0 -1 x2 asinh E 
Mul Pow sec x4 Add acot Mul Add Add atanh x0 Add x0 -1 x2 asinh E -1 Mul Mul sec x4 log sec x4 Mul -1 Mul Mul asinh E Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Mul Add Add atanh x0 Add x0 -1 x2 asinh E Mul Add Add atanh x0 Add x0 -1 x2 asinh E -1 