sinh Mul asec Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 Mul x4 2 
Mul cosh Mul asec Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 Mul x4 2 Mul Mul x4 2 Mul Add Mul Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Add Mul -3 acot sqrt x0 -1 Add Mul -3 acot sqrt x0 Mul Mul Add x7 Add x0 Mul x6 asinh Mul x6 -3 log Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 -1 Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 Add Pow Add x7 Add x0 Mul x6 asinh Mul x6 -3 Mul -3 acot sqrt x0 x0 -1 