exp Add Mul x0 x2 Pow Mul asinh acsch Mul x0 x7 -2 tan x0 
Mul exp Add Mul x0 x2 Pow Mul asinh acsch Mul x0 x7 -2 tan x0 Add x2 Mul Pow Mul asinh acsch Mul x0 x7 -2 Add tan x0 -1 Add Mul tan x0 Mul -2 Mul Mul Mul -1 x7 Pow Mul Mul Mul x0 x7 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 -1 Pow sqrt Add 1 Mul acsch Mul x0 x7 acsch Mul x0 x7 -1 Mul Mul Mul asinh acsch Mul x0 x7 -2 log Mul asinh acsch Mul x0 x7 -2 Pow sec x0 2 