Mul 5 Mul acos Mul x0 4 Add atanh Mul Pow tan x0 5 x0 1 
Mul 5 Add Mul Add atanh Mul Pow tan x0 5 x0 1 Mul -1 Mul 4 Pow sqrt Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Mul acos Mul x0 4 Mul Add Mul x0 Mul Pow tan x0 4 Mul 5 Pow sec x0 2 Pow tan x0 5 Pow Add 1 Mul -1 Mul Mul Pow tan x0 5 x0 Mul Pow tan x0 5 x0 -1 