tan sqrt Pow Add x0 3 Pow Mul x6 x0 sinh x0 
Mul Pow sec sqrt Pow Add x0 3 Pow Mul x6 x0 sinh x0 2 Mul Pow Mul 2 sqrt Pow Add x0 3 Pow Mul x6 x0 sinh x0 -1 Mul Pow Add x0 3 Add Pow Mul x6 x0 sinh x0 -1 Add Pow Mul x6 x0 sinh x0 Mul Mul Add x0 3 log Add x0 3 Mul Pow Mul x6 x0 Add sinh x0 -1 Add Mul sinh x0 x6 Mul Mul Mul x6 x0 log Mul x6 x0 cosh x0 