atanh Add Mul tan x4 Add Pow acsch Pow asec Add x0 pi x3 x6 x0 x0 
Mul Add Mul tan x4 Add Mul Pow acsch Pow asec Add x0 pi x3 Add x6 -1 Mul x6 Mul Mul -1 Mul Pow asec Add x0 pi Add x3 -1 Mul x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 Add x0 pi Add x0 pi -1 Pow Mul Mul Pow asec Add x0 pi x3 Pow asec Add x0 pi x3 sqrt Add 1 Mul -1 Pow Mul Pow asec Add x0 pi x3 Pow asec Add x0 pi x3 -1 -1 1 1 Pow Add 1 Mul -1 Mul Add Mul tan x4 Add Pow acsch Pow asec Add x0 pi x3 x6 x0 x0 Add Mul tan x4 Add Pow acsch Pow asec Add x0 pi x3 x6 x0 x0 -1 