log Add Pow Mul pi Mul Mul x0 -4 -3 Add x3 Mul x0 exp atanh x7 sec tanh pi 
Mul Mul Pow Mul pi Mul Mul x0 -4 -3 Add Add x3 Mul x0 exp atanh x7 -1 Add Mul Add x3 Mul x0 exp atanh x7 Mul pi 7 Mul Mul Mul pi Mul Mul x0 -4 -3 log Mul pi Mul Mul x0 -4 -3 exp atanh x7 Pow Add Pow Mul pi Mul Mul x0 -4 -3 Add x3 Mul x0 exp atanh x7 sec tanh pi -1 