Pow Mul sec Mul Add 5 acoth tan x0 x0 4 Add Mul log x0 x7 0.250000000000000 
Mul Pow Mul sec Mul Add 5 acoth tan x0 x0 4 Add Add Mul log x0 x7 0.250000000000000 -1 Add Mul Add Mul log x0 x7 0.250000000000000 Mul 4 Mul Mul tan Mul Add 5 acoth tan x0 x0 sec Mul Add 5 acoth tan x0 x0 Add Mul x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Add 5 acoth tan x0 Mul Mul Mul sec Mul Add 5 acoth tan x0 x0 4 log Mul sec Mul Add 5 acoth tan x0 x0 4 Mul x7 Pow x0 -1 