atan Pow Add Pow x1 x1 atan Mul x0 acosh acosh x0 Pow x0 Mul x0 sqrt tan x7 
Mul Mul Pow Add Pow x1 x1 atan Mul x0 acosh acosh x0 Add Pow x0 Mul x0 sqrt tan x7 -1 Add Mul Pow x0 Mul x0 sqrt tan x7 Mul Add acosh acosh x0 Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 Pow Add 1 Mul Mul x0 acosh acosh x0 Mul x0 acosh acosh x0 -1 Mul Mul Add Pow x1 x1 atan Mul x0 acosh acosh x0 log Add Pow x1 x1 atan Mul x0 acosh acosh x0 Mul Pow x0 Add Mul x0 sqrt tan x7 -1 Add Mul x0 sqrt tan x7 Mul Mul x0 log x0 sqrt tan x7 Pow Add 1 Mul Pow Add Pow x1 x1 atan Mul x0 acosh acosh x0 Pow x0 Mul x0 sqrt tan x7 Pow Add Pow x1 x1 atan Mul x0 acosh acosh x0 Pow x0 Mul x0 sqrt tan x7 -1 