Pow Mul tan Pow x0 x1 exp Mul pi 5 x0 
Mul Pow Mul tan Pow x0 x1 exp Mul pi 5 Add x0 -1 Add Mul x0 Mul exp Mul pi 5 Mul Pow sec Pow x0 x1 2 Mul Pow x0 Add x1 -1 x1 Mul Mul tan Pow x0 x1 exp Mul pi 5 log Mul tan Pow x0 x1 exp Mul pi 5 