atanh Mul x1 Pow tan x6 Pow x5 Pow Add x0 pi acosh x0 
Mul Mul x1 Mul Pow tan x6 Add Pow x5 Pow Add x0 pi acosh x0 -1 Mul Mul tan x6 log tan x6 Mul Pow x5 Add Pow Add x0 pi acosh x0 -1 Mul Mul x5 log x5 Mul Pow Add x0 pi Add acosh x0 -1 Add acosh x0 Mul Mul Add x0 pi log Add x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Mul x1 Pow tan x6 Pow x5 Pow Add x0 pi acosh x0 Mul x1 Pow tan x6 Pow x5 Pow Add x0 pi acosh x0 -1 