Add Pow x1 sec Mul Add atanh x0 x0 4 x3 
Mul Pow x1 Add sec Mul Add atanh x0 x0 4 -1 Mul Mul x1 log x1 Mul Mul tan Mul Add atanh x0 x0 4 sec Mul Add atanh x0 x0 4 Mul 4 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 