Mul tan Pow x5 Mul acos x4 x0 acsch atanh Add x0 4 
Add Mul acsch atanh Add x0 4 Mul Pow sec Pow x5 Mul acos x4 x0 2 Mul Pow x5 Add Mul acos x4 x0 -1 Mul Mul x5 log x5 acos x4 Mul tan Pow x5 Mul acos x4 x0 Mul Mul -1 Pow Add 1 Mul -1 Mul Add x0 4 Add x0 4 -1 Pow Mul Mul atanh Add x0 4 atanh Add x0 4 sqrt Add 1 Mul -1 Pow Mul atanh Add x0 4 atanh Add x0 4 -1 -1 