Pow Mul Pow x4 7 7 Add Pow x0 pi log cot tan atanh x0 
Mul Pow Mul Pow x4 7 7 Add Add Pow x0 pi log cot tan atanh x0 -1 Mul Mul Mul Pow x4 7 7 log Mul Pow x4 7 7 Add Mul Pow x0 Add pi -1 pi Mul Mul Mul -1 Pow csc tan atanh x0 2 Mul Pow sec atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow cot tan atanh x0 -1 