Add Mul Add x3 tan Add x0 acoth Add acosh x0 acsc pi x0 x0 
Add Add Mul x0 Mul Pow sec Add x0 acoth Add acosh x0 acsc pi 2 Add 1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Add acosh x0 acsc pi Add acosh x0 acsc pi -1 Add x3 tan Add x0 acoth Add acosh x0 acsc pi 1 