Mul acot Add Mul 5 x0 tan Add 1 Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Mul x0 -1 atanh x0 
Add Mul atanh x0 Mul -1 Mul Add 5 Mul Pow sec Add 1 Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Mul x0 -1 2 Mul Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Add Mul x0 -1 -1 Add Mul Mul x0 -1 Mul Mul 2 x1 3 Mul Mul Mul Mul 4 Mul x0 -1 Mul 2 x1 log Mul Mul 4 Mul x0 -1 Mul 2 x1 -1 Pow Add 1 Mul Add Mul 5 x0 tan Add 1 Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Mul x0 -1 Add Mul 5 x0 tan Add 1 Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Mul x0 -1 -1 Mul acot Add Mul 5 x0 tan Add 1 Pow Mul Mul 4 Mul x0 -1 Mul 2 x1 Mul x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 