Pow Mul acosh Mul -2 Mul x0 x0 Add x0 tan x0 x5 
Mul Pow Mul acosh Mul -2 Mul x0 x0 Add x0 tan x0 Add x5 -1 Mul x5 Add Mul Add x0 tan x0 Mul Mul -2 Add x0 x0 Pow Mul sqrt Add Mul -2 Mul x0 x0 -1 sqrt Add 1 Mul -2 Mul x0 x0 -1 Mul acosh Mul -2 Mul x0 x0 Add 1 Pow sec x0 2 