Pow Mul tan x1 acsch x5 acos Add Pow pi x3 x0 
Mul Pow Mul tan x1 acsch x5 Add acos Add Pow pi x3 x0 -1 Mul Mul Mul tan x1 acsch x5 log Mul tan x1 acsch x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Pow pi x3 x0 Add Pow pi x3 x0 -1 