atanh tan Add Mul 4 x0 log Mul log Mul x4 x0 Mul -1 E 
Mul Mul Pow sec Add Mul 4 x0 log Mul log Mul x4 x0 Mul -1 E 2 Add 4 Mul Mul Mul -1 E Mul x4 Pow Mul x4 x0 -1 Pow Mul log Mul x4 x0 Mul -1 E -1 Pow Add 1 Mul -1 Mul tan Add Mul 4 x0 log Mul log Mul x4 x0 Mul -1 E tan Add Mul 4 x0 log Mul log Mul x4 x0 Mul -1 E -1 