Add -4 Pow asec acoth Mul Add x3 x0 Mul sech x0 acosh x1 Mul x0 Mul x0 Mul x6 x4 
Mul Pow asec acoth Mul Add x3 x0 Mul sech x0 acosh x1 Add Mul x0 Mul x0 Mul x6 x4 -1 Add Mul Mul x0 Mul x0 Mul x6 x4 Mul Mul Add Mul sech x0 acosh x1 Mul Add x3 x0 Mul acosh x1 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Mul Add x3 x0 Mul sech x0 acosh x1 Mul Add x3 x0 Mul sech x0 acosh x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth Mul Add x3 x0 Mul sech x0 acosh x1 acoth Mul Add x3 x0 Mul sech x0 acosh x1 -1 acoth Mul Add x3 x0 Mul sech x0 acosh x1 acoth Mul Add x3 x0 Mul sech x0 acosh x1 -1 Mul Mul asec acoth Mul Add x3 x0 Mul sech x0 acosh x1 log asec acoth Mul Add x3 x0 Mul sech x0 acosh x1 Add Mul x0 Mul x6 x4 Mul x0 Mul x6 x4 