Pow atanh acoth sec sec Mul x0 x0 Pow Add x0 x0 acosh x0 
Mul Pow atanh acoth sec sec Mul x0 x0 Add Pow Add x0 x0 acosh x0 -1 Add Mul Pow Add x0 x0 acosh x0 Mul Mul Mul Mul tan sec Mul x0 x0 sec sec Mul x0 x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow Add 1 Mul -1 Mul sec sec Mul x0 x0 sec sec Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth sec sec Mul x0 x0 acoth sec sec Mul x0 x0 -1 Mul Mul atanh acoth sec sec Mul x0 x0 log atanh acoth sec sec Mul x0 x0 Mul Pow Add x0 x0 Add acosh x0 -1 Add Mul acosh x0 2 Mul Mul Add x0 x0 log Add x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 