Pow x0 Add atanh asec Mul atanh Mul x3 3 x0 Add sqrt atanh atanh asinh x0 -1 
Mul Pow x0 Add Add atanh asec Mul atanh Mul x3 3 x0 Add sqrt atanh atanh asinh x0 -1 -1 Add Add atanh asec Mul atanh Mul x3 3 x0 Add sqrt atanh atanh asinh x0 -1 Mul Mul x0 log x0 Add Mul Mul atanh Mul x3 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul atanh Mul x3 3 x0 Mul atanh Mul x3 3 x0 -1 Mul atanh Mul x3 3 x0 Mul atanh Mul x3 3 x0 -1 Pow Add 1 Mul -1 Mul asec Mul atanh Mul x3 3 x0 asec Mul atanh Mul x3 3 x0 -1 Mul Pow Mul 2 sqrt atanh atanh asinh x0 -1 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 