atanh Mul Mul Mul sec x1 x0 Mul pi exp Mul atanh Mul x0 x0 Pow atanh x0 Pow pi x0 tan x4 
Mul Mul tan x4 Add Mul Mul pi exp Mul atanh Mul x0 x0 Pow atanh x0 Pow pi x0 sec x1 Mul Mul sec x1 x0 Mul pi Mul exp Mul atanh Mul x0 x0 Pow atanh x0 Pow pi x0 Add Mul Pow atanh x0 Pow pi x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul atanh Mul x0 x0 Mul Pow atanh x0 Add Pow pi x0 -1 Add Mul Pow pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Mul Mul Mul sec x1 x0 Mul pi exp Mul atanh Mul x0 x0 Pow atanh x0 Pow pi x0 tan x4 Mul Mul Mul sec x1 x0 Mul pi exp Mul atanh Mul x0 x0 Pow atanh x0 Pow pi x0 tan x4 -1 