Add Mul -2 Mul Mul Pow tan exp atanh Mul -4 x0 x4 x0 x0 pi 
Mul -2 Add Mul x0 Add Mul x0 Mul Pow tan exp atanh Mul -4 x0 Add x4 -1 Mul x4 Mul Pow sec exp atanh Mul -4 x0 2 Mul exp atanh Mul -4 x0 Mul -4 Pow Add 1 Mul -1 Mul Mul -4 x0 Mul -4 x0 -1 Pow tan exp atanh Mul -4 x0 x4 Mul Pow tan exp atanh Mul -4 x0 x4 x0 