Mul x0 tan acot Mul x2 Mul -3 sinh atanh Mul x0 -3 
Add tan acot Mul x2 Mul -3 sinh atanh Mul x0 -3 Mul x0 Mul Pow sec acot Mul x2 Mul -3 sinh atanh Mul x0 -3 2 Mul -1 Mul Mul x2 Mul -3 Mul cosh atanh Mul x0 -3 Mul -3 Pow Add 1 Mul -1 Mul Mul x0 -3 Mul x0 -3 -1 Pow Add 1 Mul Mul x2 Mul -3 sinh atanh Mul x0 -3 Mul x2 Mul -3 sinh atanh Mul x0 -3 -1 