Pow sec x0 Add Mul cosh sin Mul acsch x0 coth pi x0 Pow x0 x3 
Mul Pow sec x0 Add Add Mul cosh sin Mul acsch x0 coth pi x0 Pow x0 x3 -1 Add Mul Add Mul cosh sin Mul acsch x0 coth pi x0 Pow x0 x3 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Add Mul x0 Mul sinh sin Mul acsch x0 coth pi Mul cos Mul acsch x0 coth pi Mul coth pi Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 cosh sin Mul acsch x0 coth pi Mul Pow x0 Add x3 -1 x3 