acot Add acos Pow Add x3 1 3 tan Mul -3 acot Mul x0 sinh Add cosh x0 x1 
Mul -1 Mul Mul Pow sec Mul -3 acot Mul x0 sinh Add cosh x0 x1 2 Mul -3 Mul -1 Mul Add sinh Add cosh x0 x1 Mul x0 Mul cosh Add cosh x0 x1 sinh x0 Pow Add 1 Mul Mul x0 sinh Add cosh x0 x1 Mul x0 sinh Add cosh x0 x1 -1 Pow Add 1 Mul Add acos Pow Add x3 1 3 tan Mul -3 acot Mul x0 sinh Add cosh x0 x1 Add acos Pow Add x3 1 3 tan Mul -3 acot Mul x0 sinh Add cosh x0 x1 -1 