tanh Add Mul x0 Add x0 sqrt Mul sec Mul x0 Add x0 Mul x6 pi acot atanh x5 sec x0 
Mul Pow sech Add Mul x0 Add x0 sqrt Mul sec Mul x0 Add x0 Mul x6 pi acot atanh x5 sec x0 2 Add Add Add x0 sqrt Mul sec Mul x0 Add x0 Mul x6 pi acot atanh x5 Mul x0 Add 1 Mul Pow Mul 2 sqrt Mul sec Mul x0 Add x0 Mul x6 pi acot atanh x5 -1 Mul acot atanh x5 Mul Mul tan Mul x0 Add x0 Mul x6 pi sec Mul x0 Add x0 Mul x6 pi Add Add x0 Mul x6 pi x0 Mul tan x0 sec x0 