Mul x1 Mul 0.909297426825682 csch Mul Mul x0 x0 sec x0 
Mul x1 Mul 0.909297426825682 Mul Mul Mul -1 coth Mul Mul x0 x0 sec x0 csch Mul Mul x0 x0 sec x0 Add Mul sec x0 Add x0 x0 Mul Mul x0 x0 Mul tan x0 sec x0 