Add Pow x5 Mul Mul Mul x0 x4 Add sec x0 acoth x0 x0 0.250000000000000 
Mul Pow x5 Add Mul Mul Mul x0 x4 Add sec x0 acoth x0 x0 -1 Mul Mul x5 log x5 Add Mul x0 Add Mul Add sec x0 acoth x0 x4 Mul Mul x0 x4 Add Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 x4 Add sec x0 acoth x0 