acsch atanh Add tan x0 Mul csc x7 pi 
Mul Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 Mul csc x7 pi Add tan x0 Mul csc x7 pi -1 Pow Mul Mul atanh Add tan x0 Mul csc x7 pi atanh Add tan x0 Mul csc x7 pi sqrt Add 1 Mul -1 Pow Mul atanh Add tan x0 Mul csc x7 pi atanh Add tan x0 Mul csc x7 pi -1 -1 