Pow x7 Add acoth acot cot Pow x1 0.0625000000000000 Pow sec x0 x7 
Mul Pow x7 Add Add acoth acot cot Pow x1 0.0625000000000000 Pow sec x0 x7 -1 Mul Mul x7 log x7 Mul Pow sec x0 Add x7 -1 Mul x7 Mul tan x0 sec x0 