Pow Pow sinh asec x0 acot Pow tan x0 x1 sqrt acsch Mul x3 pi 
Mul Pow Pow sinh asec x0 acot Pow tan x0 x1 Add sqrt acsch Mul x3 pi -1 Mul sqrt acsch Mul x3 pi Mul Pow sinh asec x0 Add acot Pow tan x0 x1 -1 Add Mul acot Pow tan x0 x1 Mul cosh asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul sinh asec x0 log sinh asec x0 Mul -1 Mul Mul Pow tan x0 Add x1 -1 Mul x1 Pow sec x0 2 Pow Add 1 Mul Pow tan x0 x1 Pow tan x0 x1 -1 