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