atanh Mul Add Pow Mul Pow Pow atanh x0 x4 x5 x0 Add 1 tan x0 Pow 3 pi x0 
Mul Add Mul x0 Mul Pow Mul Pow Pow atanh x0 x4 x5 x0 Add Add 1 tan x0 -1 Add Mul Add 1 tan x0 Add Mul x0 Mul Pow Pow atanh x0 x4 Add x5 -1 Mul x5 Mul Pow atanh x0 Add x4 -1 Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow atanh x0 x4 x5 Mul Mul Mul Pow Pow atanh x0 x4 x5 x0 log Mul Pow Pow atanh x0 x4 x5 x0 Pow sec x0 2 Add Pow Mul Pow Pow atanh x0 x4 x5 x0 Add 1 tan x0 Pow 3 pi Pow Add 1 Mul -1 Mul Mul Add Pow Mul Pow Pow atanh x0 x4 x5 x0 Add 1 tan x0 Pow 3 pi x0 Mul Add Pow Mul Pow Pow atanh x0 x4 x5 x0 Add 1 tan x0 Pow 3 pi x0 -1 