Mul Pow Add Mul atanh atanh asinh x0 asinh x0 sec x2 x0 x0 
Add Mul x0 Mul Pow Add Mul atanh atanh asinh x0 asinh x0 sec x2 Add x0 -1 Add Mul x0 Add Mul asinh x0 Mul Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Pow Add 1 Mul -1 Mul atanh asinh x0 atanh asinh x0 -1 Mul atanh atanh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Add Mul atanh atanh asinh x0 asinh x0 sec x2 log Add Mul atanh atanh asinh x0 asinh x0 sec x2 Pow Add Mul atanh atanh asinh x0 asinh x0 sec x2 x0 