Mul Add Mul -2 sqrt acosh Mul x0 Pow x3 -4 x0 tan x0 
Add Mul tan x0 Add Mul -2 Mul Pow Mul 2 sqrt acosh Mul x0 Pow x3 -4 -1 Mul Pow x3 -4 Pow Mul sqrt Add Mul x0 Pow x3 -4 -1 sqrt Add 1 Mul x0 Pow x3 -4 -1 1 Mul Add Mul -2 sqrt acosh Mul x0 Pow x3 -4 x0 Pow sec x0 2 