Mul 2 Pow Add Pow Add x1 acoth sec x0 4 Mul x7 Mul Pow x0 x0 pi -4 
Mul 2 Mul Pow Add Pow Add x1 acoth sec x0 4 Mul x7 Mul Pow x0 x0 pi 5 Mul -4 Add Mul Pow Add x1 acoth sec x0 3 Mul 4 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul x7 Mul pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 