tan Add x0 Pow Pow x0 acosh cot x3 Add sech Pow x0 x3 acot pi 
Mul Pow sec Add x0 Pow Pow x0 acosh cot x3 Add sech Pow x0 x3 acot pi 2 Add 1 Mul Pow Pow x0 acosh cot x3 Add Add sech Pow x0 x3 acot pi -1 Add Mul Add sech Pow x0 x3 acot pi Mul Pow x0 Add acosh cot x3 -1 acosh cot x3 Mul Mul Pow x0 acosh cot x3 log Pow x0 acosh cot x3 Mul Mul tanh Pow x0 x3 Mul -1 sech Pow x0 x3 Mul Pow x0 Add x3 -1 x3 